symantic-6.3.0.20170807: Library for Typed Tagless-Final Higher-Order Composable DSL

Safe HaskellNone
LanguageHaskell2010

Language.Symantic.Typing.Show

Contents

Documentation

Orphan instances

Source src => Show (TypeVT src) Source # 

Methods

showsPrec :: Int -> TypeVT src -> ShowS #

show :: TypeVT src -> String #

showList :: [TypeVT src] -> ShowS #

Source src => Show (TypeT src vs) Source # 

Methods

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

show :: TypeT src vs -> String #

showList :: [TypeT src vs] -> ShowS #

Source src => Show (Types src vs ts) Source # 

Methods

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

show :: Types src vs ts -> String #

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

NameTyOf kc c => Show (Const kc src c) Source # 

Methods

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

show :: Const kc src c -> String #

showList :: [Const kc src c] -> ShowS #

Source src => Show (TypeK src vs kt) Source # 

Methods

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

show :: TypeK src vs kt -> String #

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

Source src => Show (Type kt src vs t) Source # 

Methods

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

show :: Type kt src vs t -> String #

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