Language.Syntactic.Functional.Tuple

Construction and elimination of tuples

Documentation

data Tuple a where

Constructors

Pair :: Tuple (a :-> (b :-> Full (a, b)))

Fst :: Tuple ((a, b) :-> Full a)

Snd :: Tuple ((a, b) :-> Full b)

Instances

Symbol Tuple

Defined in Language.Syntactic.Functional.Tuple

Methods

symSig :: Tuple sig -> SigRep sig

StringTree Tuple

Defined in Language.Syntactic.Functional.Tuple

Methods

stringTreeSym :: [Tree String] -> Tuple a -> Tree String

Render Tuple

Defined in Language.Syntactic.Functional.Tuple

Methods

renderSym :: Tuple sig -> String

renderArgs :: [String] -> Tuple sig -> String

Equality Tuple

Defined in Language.Syntactic.Functional.Tuple

Methods

equal :: Tuple a -> Tuple b -> Bool

hash :: Tuple a -> Hash

Eval Tuple

Defined in Language.Syntactic.Functional.Tuple

Methods

evalSym :: Tuple sig -> Denotation sig

EvalEnv Tuple env

Defined in Language.Syntactic.Functional.Tuple

Methods

compileSym :: proxy env -> Tuple sig -> DenotationM (Reader env) sig