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 Eval

Methods

unit :: Eval ()

Sym_Unit View

Methods

unit :: View ()

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

Methods

unit :: BetaT term ()

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

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 c -> Type Constraint src vs q -> Maybe (Qual q)

TypeInstancesFor * ()

Methods

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

NameTyOf * ()

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

ModuleFor * src ss ()

Methods

moduleFor :: (PathMod, Module ss ())

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

Methods

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