Safe Haskell	None
Language	Haskell2010

PlutusCore.Examples.Data.InterList

Synopsis

interListData :: forall (uni :: Type -> Type) fun. RecursiveType uni fun ()
interNil :: forall (uni :: Type -> Type) fun. Term TyName Name uni fun ()
interCons :: forall (uni :: Type -> Type) fun. Term TyName Name uni fun ()
foldrInterList :: forall (uni :: Type -> Type) fun. HasTypeAndTermLevel uni () => Term TyName Name uni fun ()

Documentation

interListData :: forall (uni :: Type -> Type) fun. RecursiveType uni fun () Source #

InterList as a PLC type.

fix \(interlist :: * -> * -> *) (a :: *) (b :: *) ->
    all (r :: *). r -> (a -> b -> interlist b a -> r) -> r

interNil :: forall (uni :: Type -> Type) fun. Term TyName Name uni fun () Source #

interCons :: forall (uni :: Type -> Type) fun. Term TyName Name uni fun () Source #