Language.Symantic.Lib.Show

Symantic for Show.

Class Sym_Show

class Sym_Show term where

Methods

showsPrec :: Show a => term Int -> term a -> term ShowS

show :: Show a => term a -> term String

showList :: Show a => term [a] -> term ShowS

showsPrec :: Sym_Show (UnT term) => Trans term => Show a => term Int -> term a -> term ShowS

show :: Sym_Show (UnT term) => Trans term => Show a => term a -> term String

showList :: Sym_Show (UnT term) => Trans term => Show a => term [a] -> term ShowS

Instances

Sym_Show Eval

Methods

showsPrec :: Show a => Eval Int -> Eval a -> Eval ShowS

show :: Show a => Eval a -> Eval String

showList :: Show a => Eval [a] -> Eval ShowS

Sym_Show View

Methods

showsPrec :: Show a => View Int -> View a -> View ShowS

show :: Show a => View a -> View String

showList :: Show a => View [a] -> View ShowS

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

Methods

showsPrec :: Show a => BetaT term Int -> BetaT term a -> BetaT term ShowS

show :: Show a => BetaT term a -> BetaT term String

showList :: Show a => BetaT term [a] -> BetaT term ShowS

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

Methods

showsPrec :: Show a => Dup r1 r2 Int -> Dup r1 r2 a -> Dup r1 r2 ShowS

show :: Show a => Dup r1 r2 a -> Dup r1 r2 String

showList :: Show a => Dup r1 r2 [a] -> Dup r1 r2 ShowS

Types

tyShow :: Source src => Type src vs a -> Type src vs (Show a)

tyShowS :: Source src => LenInj vs => Type src vs ShowS

Terms

teShow_showsPrec :: TermDef Show '[Proxy a] (Show a #> (Int -> a -> ShowS))

teShow_show :: TermDef Show '[Proxy a] (Show a #> (a -> String))

teShow_showList :: TermDef Show '[Proxy a] (Show a #> ([a] -> ShowS))

Orphan instances

ClassInstancesFor (* -> Constraint) Show

Methods

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

TypeInstancesFor (* -> Constraint) Show

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 (* -> Constraint) Show

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf (* -> Constraint) Show

Methods

fixityOf :: proxy c -> Maybe Fixity

(Source src, SymInj (* -> Constraint) ss Show) => ModuleFor (* -> Constraint) src ss Show

Methods

moduleFor :: (PathMod, Module ss Show)

Gram_Term_AtomsFor (* -> Constraint) src ss g Show

Methods

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