Language.Symantic.Typing.Show

Documentation

stringDocTerm :: Term -> String

showType :: Config_Doc_Type -> Type src vs t -> String

showTypeS :: Config_Doc_Type -> Precedence -> Type src vs t -> ShowS

showTypes :: Config_Doc_Type -> Types src vs ts -> String

showTypesS :: Config_Doc_Type -> Types src vs ts -> ShowS

Orphan instances

Source src => Show (TypeVT src)

Methods

showsPrec :: Int -> TypeVT src -> ShowS

show :: TypeVT src -> String

showList :: [TypeVT src] -> ShowS

Source src => Show (TypeT src vs)

Methods

showsPrec :: Int -> TypeT src vs -> ShowS

show :: TypeT src vs -> String

showList :: [TypeT src vs] -> ShowS

Source src => Show (Types src vs ts)

Methods

showsPrec :: Int -> Types src vs ts -> ShowS

show :: Types src vs ts -> String

showList :: [Types src vs ts] -> ShowS

NameTyOf c => Show (Const src c)

Methods

showsPrec :: Int -> Const src c -> ShowS

show :: Const src c -> String

showList :: [Const src c] -> ShowS

Source src => Show (TypeK src vs kt)

Methods

showsPrec :: Int -> TypeK src vs kt -> ShowS

show :: TypeK src vs kt -> String

showList :: [TypeK src vs kt] -> ShowS

Source src => Show (Type src vs t)

Methods

showsPrec :: Int -> Type src vs t -> ShowS

show :: Type src vs t -> String

showList :: [Type src vs t] -> ShowS