symantic-lib-0.0.5.20190614: Symantics for common types.

Safe HaskellNone
LanguageHaskell2010

Language.Symantic.Lib.Unit

Contents

Description

Symantic for '()'.

Synopsis

Class Sym_Unit

class Sym_Unit term where Source #

Minimal complete definition

Nothing

Methods

unit :: term () Source #

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

Instances
Sym_Unit View Source # 
Instance details

Defined in Language.Symantic.Lib.Unit

Methods

unit :: View () Source #

Sym_Unit Eval Source # 
Instance details

Defined in Language.Symantic.Lib.Unit

Methods

unit :: Eval () Source #

(Sym_Unit term, Sym_Lambda term) => Sym_Unit (BetaT term) Source # 
Instance details

Defined in Language.Symantic.Lib.Unit

Methods

unit :: BetaT term () Source #

(Sym_Unit r1, Sym_Unit r2) => Sym_Unit (Dup r1 r2) Source # 
Instance details

Defined in Language.Symantic.Lib.Unit

Methods

unit :: Dup r1 r2 () Source #

Types

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

Terms

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

Orphan instances

ClassInstancesFor () Source # 
Instance details

Methods

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

TypeInstancesFor () Source # 
Instance details

Methods

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

NameTyOf () Source # 
Instance details

Methods

nameTyOf :: proxy () -> Mod NameTy #

isNameTyOp :: proxy () -> Bool #

ModuleFor src ss () Source # 
Instance details

Methods

moduleFor :: (PathMod, Module src ss) #

(Gram_Source src g, Gram_Rule g, Gram_Comment g, SymInj ss ()) => Gram_Term_AtomsFor src ss g () Source # 
Instance details

Methods

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