syntactic-3.7: Generic representation and manipulation of abstract syntax

Safe Haskell	None
Language	Haskell2010

Language.Syntactic.Functional.Tuple

Description

Construction and elimination of tuples

Documentation

data Tuple a where Source #

Constructors

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

Instances

Symbol Tuple Source #
Methods symSig :: Tuple sig -> SigRep sig Source #
StringTree Tuple Source #
Methods stringTreeSym :: [Tree String] -> Tuple a -> Tree String Source #
Render Tuple Source #
Methods renderSym :: Tuple sig -> String Source # renderArgs :: [String] -> Tuple sig -> String Source #
Equality Tuple Source #
Methods equal :: Tuple a -> Tuple b -> Bool Source # hash :: Tuple a -> Hash Source #
Eval Tuple Source #
Methods evalSym :: Tuple sig -> Denotation sig Source #
EvalEnv Tuple env Source #
Methods compileSym :: proxy env -> Tuple sig -> DenotationM (Reader env) sig Source #