Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for (,)
.
Synopsis
- 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 #
Nothing
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 #
Instances
Sym_Tuple2 View Source # | |
Sym_Tuple2 Eval 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 # | |
g_term_atomsFor :: [CF g (AST_Term src ss)] # |