Safe Haskell	None
Language	Haskell2010

PlutusCore.StdLib.Data.Sum

Description

sum and related functions.

Synopsis

sum :: forall (uni :: Type -> Type). Type TyName uni ()
left :: forall term (uni :: Type -> Type) fun. TermLike term TyName Name uni fun => term ()
right :: forall term (uni :: Type -> Type) fun. TermLike term TyName Name uni fun => term ()

Documentation

sum :: forall (uni :: Type -> Type). Type TyName uni () Source #

Either as a PLC type.

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

left :: forall term (uni :: Type -> Type) fun. TermLike term TyName Name uni fun => term () Source #

Left as a PLC term.

/\(a b :: *) -> \(x : a) -> /\(r :: *) -> \(f : a -> r) -> (g : b -> r) -> f x

right :: forall term (uni :: Type -> Type) fun. TermLike term TyName Name uni fun => term () Source #

Right as a PLC term.

/\(a b :: *) -> \(y : b) -> /\(r :: *) -> \(f : a -> r) -> (g : b -> r) -> g y