Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for (,)
.
- class Sym_Tuple2 term where
- tyTuple2 :: Source src => LenInj vs => Type src vs a -> Type src vs b -> Type src vs (a, b)
- teTuple2 :: TermDef (,) '[Proxy a, Proxy b] (() #> (a -> b -> (a, b)))
- teTuple2_fst :: TermDef (,) '[Proxy a, Proxy b] (() #> ((a, b) -> a))
- teTuple2_snd :: TermDef (,) '[Proxy a, Proxy b] (() #> ((a, b) -> b))
Class Sym_Tuple2
class Sym_Tuple2 term where Source #
tuple2 :: term a -> term b -> term (a, b) Source #
fst :: term (a, b) -> term a Source #
snd :: term (a, b) -> term b Source #
tuple2 :: Sym_Tuple2 (UnT term) => Trans term => term a -> term b -> term (a, b) Source #
fst :: Sym_Tuple2 (UnT term) => Trans term => term (a, b) -> term a Source #
snd :: Sym_Tuple2 (UnT term) => Trans term => term (a, b) -> term b Source #
Sym_Tuple2 Eval Source # | |
Sym_Tuple2 View Source # | |
(Sym_Tuple2 term, Sym_Lambda term) => Sym_Tuple2 (BetaT term) Source # | |
(Sym_Tuple2 r1, Sym_Tuple2 r2) => Sym_Tuple2 (Dup r1 r2) Source # | |
Term
s
tyTuple2 :: Source src => LenInj vs => Type src vs a -> Type src vs b -> Type src vs (a, b) Source #
Orphan instances
ClassInstancesFor (* -> * -> *) (,) Source # | |
TypeInstancesFor (* -> * -> *) (,) Source # | |
NameTyOf (* -> * -> *) (,) Source # | |
FixityOf (* -> * -> *) (,) Source # | |
(Source src, SymInj (* -> * -> *) ss (,)) => ModuleFor (* -> * -> *) src ss (,) Source # | |
(Gram_Source src g, Gram_Alt g, Gram_Rule g, Gram_Comment g, Gram_Term src ss g, SymInj (* -> * -> *) ss (,)) => Gram_Term_AtomsFor (* -> * -> *) src ss g (,) Source # | |