Language.Symantic.Lib.Tuple2

Symantic for (,).

Class Sym_Tuple2

class Sym_Tuple2 term where

Minimal complete definition

Nothing

Methods

tuple2 :: term a -> term b -> term (a, b)

fst :: term (a, b) -> term a

snd :: term (a, b) -> term b

tuple2 :: Sym_Tuple2 (UnT term) => Trans term => term a -> term b -> term (a, b)

fst :: Sym_Tuple2 (UnT term) => Trans term => term (a, b) -> term a

snd :: Sym_Tuple2 (UnT term) => Trans term => term (a, b) -> term b

Instances

Sym_Tuple2 View

Defined in Language.Symantic.Lib.Tuple2

Methods

tuple2 :: View a -> View b -> View (a, b)

fst :: View (a, b) -> View a

snd :: View (a, b) -> View b

Sym_Tuple2 Eval

Defined in Language.Symantic.Lib.Tuple2

Methods

tuple2 :: Eval a -> Eval b -> Eval (a, b)

fst :: Eval (a, b) -> Eval a

snd :: Eval (a, b) -> Eval b

(Sym_Tuple2 term, Sym_Lambda term) => Sym_Tuple2 (BetaT term)

Defined in Language.Symantic.Lib.Tuple2

Methods

tuple2 :: BetaT term a -> BetaT term b -> BetaT term (a, b)

fst :: BetaT term (a, b) -> BetaT term a

snd :: BetaT term (a, b) -> BetaT term b

(Sym_Tuple2 r1, Sym_Tuple2 r2) => Sym_Tuple2 (Dup r1 r2)

Defined in Language.Symantic.Lib.Tuple2

Methods

tuple2 :: Dup r1 r2 a -> Dup r1 r2 b -> Dup r1 r2 (a, b)

fst :: Dup r1 r2 (a, b) -> Dup r1 r2 a

snd :: Dup r1 r2 (a, b) -> Dup r1 r2 b

Terms

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

Orphan instances

ClassInstancesFor (,)

Methods

proveConstraintFor :: Source src => proxy (,) -> Type src vs q -> Maybe (Qual q)

TypeInstancesFor (,)

Methods

expandFamFor :: Source src => proxy (,) -> Len vs -> Const src fam -> Types src vs ts -> Maybe (Type src vs (Fam fam ts))

NameTyOf (,)

Methods

nameTyOf :: proxy (,) -> Mod NameTy

isNameTyOp :: proxy (,) -> Bool

FixityOf (,)

Methods

fixityOf :: proxy (,) -> Maybe Fixity

(Source src, SymInj ss (,)) => ModuleFor src ss (,)

Methods

moduleFor :: (PathMod, Module src ss)

(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 (,)

Methods

g_term_atomsFor :: [CF g (AST_Term src ss)]