plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusCore.StdLib.Data.Sum

Description

sum and related functions.

Synopsis

Documentation

sum :: Type TyName uni () Source #

Either as a PLC type.

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

left :: 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 :: 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