syntactic-3.6.1: 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
StringTree Tuple Source
Render Tuple Source
Equality Tuple Source
Eval Tuple Source
EvalEnv Tuple env Source