syntactic-3.7: Generic representation and manipulation of abstract syntax

Safe HaskellNone
LanguageHaskell2010

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 # 
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 #