Language.Symantic.Lib.Char

Symantic for Char.

Class Sym_Char

class Sym_Char term where

Minimal complete definition

Nothing

Methods

char :: Char -> term Char

char_toUpper :: term Char -> term Char

char_toLower :: term Char -> term Char

char :: Sym_Char (UnT term) => Trans term => Char -> term Char

char_toUpper :: Sym_Char (UnT term) => Trans term => term Char -> term Char

char_toLower :: Sym_Char (UnT term) => Trans term => term Char -> term Char

Instances

Sym_Char View

Defined in Language.Symantic.Lib.Char

Methods

char :: Char -> View Char

char_toUpper :: View Char -> View Char

char_toLower :: View Char -> View Char

Sym_Char Eval

Defined in Language.Symantic.Lib.Char

Methods

char :: Char -> Eval Char

char_toUpper :: Eval Char -> Eval Char

char_toLower :: Eval Char -> Eval Char

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

Defined in Language.Symantic.Lib.Char

Methods

char :: Char -> BetaT term Char

char_toUpper :: BetaT term Char -> BetaT term Char

char_toLower :: BetaT term Char -> BetaT term Char

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

Defined in Language.Symantic.Lib.Char

Methods

char :: Char -> Dup r1 r2 Char

char_toUpper :: Dup r1 r2 Char -> Dup r1 r2 Char

char_toLower :: Dup r1 r2 Char -> Dup r1 r2 Char

Types

tyChar :: Source src => LenInj vs => Type src vs Char

tyString :: Source src => LenInj vs => Type src vs String

Terms

teChar :: Source src => SymInj ss Char => Char -> Term src ss ts '[] (() #> Char)

teChar_toUpper :: TermDef Char '[] (() #> (Char -> Char))

teChar_toLower :: TermDef Char '[] (() #> (Char -> Char))

Orphan instances

ClassInstancesFor Char

Methods

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

TypeInstancesFor Char

Methods

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

NameTyOf Char

Methods

nameTyOf :: proxy Char -> Mod NameTy

isNameTyOp :: proxy Char -> Bool

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

Methods

moduleFor :: (PathMod, Module src ss)

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

Methods

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