Language.Symantic.Lib.Eq

Symantic for Eq.

Class Sym_Eq

class Sym_Eq term where

Methods

(==) :: Eq a => term a -> term a -> term Bool infix 4

(/=) :: Eq a => term a -> term a -> term Bool infix 4

(==) :: Sym_Eq (UnT term) => Trans term => Eq a => term a -> term a -> term Bool infix 4

(/=) :: Sym_Eq (UnT term) => Trans term => Eq a => term a -> term a -> term Bool infix 4

Instances

Sym_Eq View

Defined in Language.Symantic.Lib.Eq

Methods

(==) :: Eq a => View a -> View a -> View Bool

(/=) :: Eq a => View a -> View a -> View Bool

Sym_Eq Eval

Defined in Language.Symantic.Lib.Eq

Methods

(==) :: Eq a => Eval a -> Eval a -> Eval Bool

(/=) :: Eq a => Eval a -> Eval a -> Eval Bool

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

Defined in Language.Symantic.Lib.Eq

Methods

(==) :: Eq a => BetaT term a -> BetaT term a -> BetaT term Bool

(/=) :: Eq a => BetaT term a -> BetaT term a -> BetaT term Bool

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

Defined in Language.Symantic.Lib.Eq

Methods

(==) :: Eq a => Dup r1 r2 a -> Dup r1 r2 a -> Dup r1 r2 Bool

(/=) :: Eq a => Dup r1 r2 a -> Dup r1 r2 a -> Dup r1 r2 Bool

Types

tyEq :: Source src => Type src vs a -> Type src vs (Eq a)

Terms

teEq_eq :: TermDef Eq '[Proxy a] (Eq a #> (a -> a -> Bool))

teEq_ne :: TermDef Eq '[Proxy a] (Eq a #> (a -> a -> Bool))

Orphan instances

ClassInstancesFor Eq

Methods

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

TypeInstancesFor Eq

Methods

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

NameTyOf Eq

Methods

nameTyOf :: proxy Eq -> Mod NameTy

isNameTyOp :: proxy Eq -> Bool

FixityOf Eq

Methods

fixityOf :: proxy Eq -> Maybe Fixity

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

Methods

moduleFor :: (PathMod, Module src ss)

Gram_Term_AtomsFor src ss g Eq

Methods

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