PlutusCore.StdLib.Data.Sum
Description
sum and related functions.
sum
sum ∷ Type TyName uni () Source #
Either as a PLC type.
Either
\(a b :: *) -> all (r :: *). (a -> r) -> (b -> r) -> r
left ∷ TermLike term TyName Name uni fun ⇒ term () Source #
Left as a PLC term.
Left
/\(a b :: *) -> \(x : a) -> /\(r :: *) -> \(f : a -> r) -> (g : b -> r) -> f x
right ∷ TermLike term TyName Name uni fun ⇒ term () Source #
Right as a PLC term.
Right
/\(a b :: *) -> \(y : b) -> /\(r :: *) -> \(f : a -> r) -> (g : b -> r) -> g y