symantic-lib-0.0.5.20190614: Symantics for common types.

Safe HaskellNone
LanguageHaskell2010

Language.Symantic.Lib.Char

Contents

Description

Symantic for Char.

Synopsis

Class Sym_Char

class Sym_Char term where Source #

Minimal complete definition

Nothing

Methods

char :: Char -> term Char Source #

char_toUpper :: term Char -> term Char Source #

char_toLower :: term Char -> term Char Source #

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

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

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

Instances
Sym_Char View Source # 
Instance details

Defined in Language.Symantic.Lib.Char

Methods

char :: Char -> View Char Source #

char_toUpper :: View Char -> View Char Source #

char_toLower :: View Char -> View Char Source #

Sym_Char Eval Source # 
Instance details

Defined in Language.Symantic.Lib.Char

Methods

char :: Char -> Eval Char Source #

char_toUpper :: Eval Char -> Eval Char Source #

char_toLower :: Eval Char -> Eval Char Source #

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

Defined in Language.Symantic.Lib.Char

Methods

char :: Char -> BetaT term Char Source #

char_toUpper :: BetaT term Char -> BetaT term Char Source #

char_toLower :: BetaT term Char -> BetaT term Char Source #

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

Defined in Language.Symantic.Lib.Char

Methods

char :: Char -> Dup r1 r2 Char Source #

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

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

Types

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

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

Terms

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

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

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

Orphan instances

ClassInstancesFor Char Source # 
Instance details

Methods

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

TypeInstancesFor Char Source # 
Instance details

Methods

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

NameTyOf Char Source # 
Instance details

Methods

nameTyOf :: proxy Char -> Mod NameTy #

isNameTyOp :: proxy Char -> Bool #

(Source src, SymInj ss Char) => ModuleFor src ss Char Source # 
Instance details

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 Source # 
Instance details

Methods

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