plutus-core-1.0.0.1: Language library for Plutus Core

Safe Haskell	None
Language	Haskell2010

PlutusCore.Examples.Data.InterList

Synopsis

interListData :: RecursiveType uni fun ()
interNil :: Term TyName Name uni fun ()
interCons :: Term TyName Name uni fun ()
foldrInterList :: uni `Includes` () => Term TyName Name uni fun ()

Documentation

interListData :: RecursiveType uni fun () Source #

InterList as a PLC type.

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

interNil :: Term TyName Name uni fun () Source #

interCons :: Term TyName Name uni fun () Source #

foldrInterList :: uni `Includes` () => Term TyName Name uni fun () Source #