Language.Symantic.Lib.Unit

Symantic for '()'.

Class Sym_Unit

class Sym_Unit term where

Methods

unit :: term ()

unit :: Sym_Unit (UnT term) => Trans term => term ()

Instances

Sym_Unit View

Defined in Language.Symantic.Lib.Unit

Methods

unit :: View ()

Sym_Unit Eval

Defined in Language.Symantic.Lib.Unit

Methods

unit :: Eval ()

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

Defined in Language.Symantic.Lib.Unit

Methods

unit :: BetaT term ()

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

Defined in Language.Symantic.Lib.Unit

Methods

unit :: Dup r1 r2 ()

Types

tyUnit :: Source src => LenInj vs => Type src vs ()

Terms

teUnit :: TermDef () '[] (() #> ())

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

ModuleFor src ss ()

Methods

moduleFor :: (PathMod, Module src ss)

(Gram_Source src g, Gram_Rule g, Gram_Comment g, SymInj ss ()) => Gram_Term_AtomsFor src ss g ()

Methods

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