Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Internal.PLam

Documentation

class PLamN (a :: Type) (b :: PType) (s :: S) | a -> b, s b -> a Source #

Minimal complete definition

Instances details

a' ~ Term s a => PLamN a' a s Source #
Instance details Defined in Plutarch.Internal.PLam Methods plam :: forall (c :: PType). HasCallStack => (Term s c -> a') -> Term s (c :--> a) Source #
(a' ~ Term s a, PLamN b' b s) => PLamN (a' -> b') (a :--> b) s Source #
Instance details Defined in Plutarch.Internal.PLam Methods plam :: forall (c :: PType). HasCallStack => (Term s c -> a' -> b') -> Term s (c :--> (a :--> b)) Source #

plam :: forall c. (PLamN a b s, HasCallStack) => (Term s c -> a) -> Term s (c :--> b) Source #

pinl :: Term s a -> (Term s a -> Term s b) -> Term s b Source #