Language.Symantic.Lib.Text

Symantic for Text.

Class Sym_Text

class Sym_Text term where

Minimal complete definition

Nothing

Methods

text :: Text -> term Text

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

Instances

Sym_Text View

Defined in Language.Symantic.Lib.Text

Methods

text :: Text -> View Text

Sym_Text Eval

Defined in Language.Symantic.Lib.Text

Methods

text :: Text -> Eval Text

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

Defined in Language.Symantic.Lib.Text

Methods

text :: Text -> BetaT term Text

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

Defined in Language.Symantic.Lib.Text

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

TypeInstancesFor Text

Methods

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

NameTyOf Text

Methods

nameTyOf :: proxy Text -> Mod NameTy

isNameTyOp :: proxy Text -> Bool

ModuleFor src ss Text

Methods

moduleFor :: (PathMod, Module src ss)

Gram_Term_AtomsFor src ss g Text

Methods

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