Language.Symantic.Lib.Char

Symantic for Char.

Class Sym_Char

class Sym_Char term where

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 Eval

Methods

char :: Char -> Eval Char

char_toUpper :: Eval Char -> Eval Char

char_toLower :: Eval Char -> Eval Char

Sym_Char View

Methods

char :: Char -> View Char

char_toUpper :: View Char -> View Char

char_toLower :: View Char -> View Char

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

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)

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

TypeInstancesFor * Char

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 * Char

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

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

Methods

moduleFor :: (PathMod, Module ss Char)

(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 Char (AST_Term ss g)]