HaScalaM.Instances.Show

Documentation

csv :: Show t => [t] -> String

lst :: Show t => [t] -> String

seq :: Show t => [t] -> String

opt :: Show t => Maybe t -> String

Orphan instances

Show SmLit

Methods

showsPrec :: Int -> SmLit -> ShowS

show :: SmLit -> String

showList :: [SmLit] -> ShowS

Show Symbol

Methods

showsPrec :: Int -> Symbol -> ShowS

show :: Symbol -> String

showList :: [Symbol] -> ShowS

Show SmEnumerator

Methods

showsPrec :: Int -> SmEnumerator -> ShowS

show :: SmEnumerator -> String

showList :: [SmEnumerator] -> ShowS

Show SmImportee

Methods

showsPrec :: Int -> SmImportee -> ShowS

show :: SmImportee -> String

showList :: [SmImportee] -> ShowS

(i ~ SmInit m n t' t ac, r ~ SmRef_) => Show SmMod

Methods

showsPrec :: Int -> SmMod -> ShowS

show :: SmMod -> String

showList :: [SmMod] -> ShowS

Show SmName

Methods

showsPrec :: Int -> SmName -> ShowS

show :: SmName -> String

showList :: [SmName] -> ShowS

Show SmNameT

Methods

showsPrec :: Int -> SmNameT -> ShowS

show :: SmNameT -> String

showList :: [SmNameT] -> ShowS

Show SmNameT'

Methods

showsPrec :: Int -> SmNameT' -> ShowS

show :: SmNameT' -> String

showList :: [SmNameT'] -> ShowS

Show SmPat

Methods

showsPrec :: Int -> SmPat -> ShowS

show :: SmPat -> String

showList :: [SmPat] -> ShowS

Show SmRef

Methods

showsPrec :: Int -> SmRef -> ShowS

show :: SmRef -> String

showList :: [SmRef] -> ShowS

Show SmRef'

Methods

showsPrec :: Int -> SmRef' -> ShowS

show :: SmRef' -> String

showList :: [SmRef'] -> ShowS

Show SmRef_

Methods

showsPrec :: Int -> SmRef_ -> ShowS

show :: SmRef_ -> String

showList :: [SmRef_] -> ShowS

Show SmStat

Methods

showsPrec :: Int -> SmStat -> ShowS

show :: SmStat -> String

showList :: [SmStat] -> ShowS

Show SmTerm

Methods

showsPrec :: Int -> SmTerm -> ShowS

show :: SmTerm -> String

showList :: [SmTerm] -> ShowS

Show SmType'

Methods

showsPrec :: Int -> SmType' -> ShowS

show :: SmType' -> String

showList :: [SmType'] -> ShowS

t' ~ SmType' => Show (FuncParamClause' t')

Methods

showsPrec :: Int -> FuncParamClause' t' -> ShowS

show :: FuncParamClause' t' -> String

showList :: [FuncParamClause' t'] -> ShowS

Show (SmArgClauseP p)

Methods

showsPrec :: Int -> SmArgClauseP p -> ShowS

show :: SmArgClauseP p -> String

showList :: [SmArgClauseP p] -> ShowS

t' ~ SmType' => Show (SmArgClauseT' t')

Methods

showsPrec :: Int -> SmArgClauseT' t' -> ShowS

show :: SmArgClauseT' t' -> String

showList :: [SmArgClauseT' t'] -> ShowS

t' ~ SmType' => Show (SmBounds' t')

Methods

showsPrec :: Int -> SmBounds' t' -> ShowS

show :: SmBounds' t' -> String

showList :: [SmBounds' t'] -> ShowS

Show (SmSource s)

Methods

showsPrec :: Int -> SmSource s -> ShowS

show :: SmSource s -> String

showList :: [SmSource s] -> ShowS

t' ~ SmType' => Show (SmType'CaseCT t')

Methods

showsPrec :: Int -> SmType'CaseCT t' -> ShowS

show :: SmType'CaseCT t' -> String

showList :: [SmType'CaseCT t'] -> ShowS

(m ~ SmMod, t ~ SmTerm) => Show (SmArgClauseT m t)

Methods

showsPrec :: Int -> SmArgClauseT m t -> ShowS

show :: SmArgClauseT m t -> String

showList :: [SmArgClauseT m t] -> ShowS

(p ~ SmPat, t ~ SmTerm) => Show (SmCaseCT p t)

Methods

showsPrec :: Int -> SmCaseCT p t -> ShowS

show :: SmCaseCT p t -> String

showList :: [SmCaseCT p t] -> ShowS

Show (SmImporter r i)

Methods

showsPrec :: Int -> SmImporter r i -> ShowS

show :: SmImporter r i -> String

showList :: [SmImporter r i] -> ShowS

(n ~ SmName, t' ~ SmType') => Show (SmSelf n t')

Methods

showsPrec :: Int -> SmSelf n t' -> ShowS

show :: SmSelf n t' -> String

showList :: [SmSelf n t'] -> ShowS

(m ~ SmMod, n ~ SmName, t' ~ SmType', t ~ SmTerm) => Show (SmParamT m n t' t)

Methods

showsPrec :: Int -> SmParamT m n t' t -> ShowS

show :: SmParamT m n t' t -> String

showList :: [SmParamT m n t' t] -> ShowS

(m ~ SmMod, n ~ SmName, t' ~ SmType', b' ~ SmBounds' t', p' ~ SmParamT' m n t' b', pc' ~ SmParamClauseT' m n p' t' b') => Show (SmParamT' m n t' b')

Methods

showsPrec :: Int -> SmParamT' m n t' b' -> ShowS

show :: SmParamT' m n t' b' -> String

showList :: [SmParamT' m n t' b'] -> ShowS

(n ~ SmName, t' ~ SmType', ac ~ SmArgClauseT m t) => Show (SmInit m n t' t ac)

Methods

showsPrec :: Int -> SmInit m n t' t ac -> ShowS

show :: SmInit m n t' t ac -> String

showList :: [SmInit m n t' t ac] -> ShowS

(m ~ SmMod, t' ~ SmType', n ~ SmName, t ~ SmTerm, p ~ SmParamT m n t' t) => Show (SmParamClauseT m n p t' t)

Methods

showsPrec :: Int -> SmParamClauseT m n p t' t -> ShowS

show :: SmParamClauseT m n p t' t -> String

showList :: [SmParamClauseT m n p t' t] -> ShowS

(m ~ SmMod, n ~ SmName, t' ~ SmType', b' ~ SmBounds' t', p' ~ SmParamT' m n t' b') => Show (SmParamClauseT' m n p' t' b')

Methods

showsPrec :: Int -> SmParamClauseT' m n p' t' b' -> ShowS

show :: SmParamClauseT' m n p' t' b' -> String

showList :: [SmParamClauseT' m n p' t' b'] -> ShowS

(m ~ SmMod, n ~ SmName, t' ~ SmType', ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac) => Show (SmAnnotM m n t' t ac i)

Methods

showsPrec :: Int -> SmAnnotM m n t' t ac i -> ShowS

show :: SmAnnotM m n t' t ac i -> String

showList :: [SmAnnotM m n t' t ac i] -> ShowS

(m ~ SmMod, n ~ SmName, t' ~ SmType', t ~ SmTerm, p ~ SmParamT m n t' t, pc ~ SmParamClauseT m n p t' t) => Show (SmCtorPrimary m n p t' t pc)

Methods

showsPrec :: Int -> SmCtorPrimary m n p t' t pc -> ShowS

show :: SmCtorPrimary m n p t' t pc -> String

showList :: [SmCtorPrimary m n p t' t pc] -> ShowS

(m ~ SmMod, n ~ SmName, t'n ~ SmNameT', p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', pc' ~ SmParamClauseT' m n p' t' b') => Show (SmType'Def m n t'n p' t' b' pc')

Methods

showsPrec :: Int -> SmType'Def m n t'n p' t' b' pc' -> ShowS

show :: SmType'Def m n t'n p' t' b' pc' -> String

showList :: [SmType'Def m n t'n p' t' b' pc'] -> ShowS

Show (SmTemplate m n t' t ac i p s)

Methods

showsPrec :: Int -> SmTemplate m n t' t ac i p s -> ShowS

show :: SmTemplate m n t' t ac i p s -> String

showList :: [SmTemplate m n t' t ac i p s] -> ShowS

Show (SmParamClauseGroup m n p p' t' b' t pc pc')

Methods

showsPrec :: Int -> SmParamClauseGroup m n p p' t' b' t pc pc' -> ShowS

show :: SmParamClauseGroup m n p p' t' b' t pc pc' -> String

showList :: [SmParamClauseGroup m n p p' t' b' t pc pc'] -> ShowS