Language.Symantic.Lib.Show

Symantic for Show.

Class Sym_Show

class Sym_Show term where

Minimal complete definition

Nothing

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 View

Defined in Language.Symantic.Lib.Show

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 Eval

Defined in Language.Symantic.Lib.Show

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 term, Sym_Lambda term) => Sym_Show (BetaT term)

Defined in Language.Symantic.Lib.Show

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)

Defined in Language.Symantic.Lib.Show

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 Show

Methods

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

TypeInstancesFor Show

Methods

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

NameTyOf Show

Methods

nameTyOf :: proxy Show -> Mod NameTy

isNameTyOp :: proxy Show -> Bool

FixityOf Show

Methods

fixityOf :: proxy Show -> Maybe Fixity

(Source src, SymInj ss Show) => ModuleFor src ss Show

Methods

moduleFor :: (PathMod, Module src ss)

Gram_Term_AtomsFor src ss g Show

Methods

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