Language.Symantic.Lib.Text

Symantic for Text.

Class Sym_Text

class Sym_Text term where

Methods

text :: Text -> term Text

text :: Sym_Text (UnT term) => Trans term => Text -> term Text

Instances

Sym_Text Eval

Methods

text :: Text -> Eval Text

Sym_Text View

Methods

text :: Text -> View Text

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

Methods

text :: Text -> BetaT term Text

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

Methods

text :: Text -> Dup r1 r2 Text

Types

tyText :: Source src => LenInj vs => Type src vs Text

Terms

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

Orphan instances

ClassInstancesFor * Text

Methods

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

TypeInstancesFor * Text

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

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

ModuleFor * src ss Text

Methods

moduleFor :: (PathMod, Module ss Text)

Gram_Term_AtomsFor * src ss g Text

Methods

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