Safe Haskell	Trustworthy
Language	Haskell2010

Type.Showtype

Contents

Showtype

Synopsis

Showtype

class Showtype a where #

Conversion of types to readable Strings. Analogous to Show.

Minimal complete definition

showtype | showtypesPrec

Methods

showtype :: proxy a -> String #

Convert a type a to a readable String. Analogous to show in Show.

showtypesPrec :: Int -> proxy a -> String -> String #

Convert a type a to a readable String with additional arguments. Analogous to showsPrec in Show.

Instances

Showtype Bool False #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Showtype Bool True #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Showtype Ordering LT #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Showtype Ordering EQ #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Showtype Ordering GT #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable Constraint a => Showtype Constraint a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable * a => Showtype * a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
KnownNat n => Showtype Nat n #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
KnownSymbol s => Showtype Symbol s #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Showtype () () #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Showtype [k] ([] k) #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Showtype (Maybe a) (Nothing a) #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Showtype a a1 => Showtype (Maybe a) (Just a a1) #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
(Showtype k a, Showlisttype k as) => Showtype [k] ((:) k a as) #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> Constraint) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> Constraint) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> Constraint) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> Constraint) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> Constraint) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> Constraint) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> Constraint) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> Constraint) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> Constraint) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> Constraint) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> Constraint) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> Constraint) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> k3 -> k4 -> Constraint) a => Showtype (k1 -> k2 -> k3 -> k4 -> Constraint) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> k3 -> Constraint) a => Showtype (k1 -> k2 -> k3 -> Constraint) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> Constraint) a => Showtype (k1 -> k2 -> Constraint) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k -> Constraint) a => Showtype (k -> Constraint) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> ) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> ) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> ) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> ) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> ) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> ) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> ) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> ) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> ) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> ) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> ) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> ) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> k3 -> k4 -> ) a => Showtype (k1 -> k2 -> k3 -> k4 -> ) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> k3 -> ) a => Showtype (k1 -> k2 -> k3 -> ) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k1 -> k2 -> ) a => Showtype (k1 -> k2 -> ) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Typeable (k -> ) a => Showtype (k -> ) a #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Showtype b a1 => Showtype (Either a b) (Right a b a1) #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
Showtype a a1 => Showtype (Either a b) (Left a b a1) #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
(Showtype k1 a, Showtype k b) => Showtype (k1, k) ((,) k1 k a b) #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
(Showtype k2 a, Showtype k1 b, Showtype k c) => Showtype (k2, k1, k) ((,,) k2 k1 k a b c) #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
(Showtype k3 a, Showtype k2 b, Showtype k1 c, Showtype k d) => Showtype (k3, k2, k1, k) ((,,,) k3 k2 k1 k a b c d) #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
(Showtype k4 a, Showtype k3 b, Showtype k2 c, Showtype k1 d, Showtype k e) => Showtype (k4, k3, k2, k1, k) ((,,,,) k4 k3 k2 k1 k a b c d e) #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
(Showtype k5 a, Showtype k4 b, Showtype k3 c, Showtype k2 d, Showtype k1 e, Showtype k f) => Showtype (k5, k4, k3, k2, k1, k) ((,,,,,) k5 k4 k3 k2 k1 k a b c d e f) #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
(Showtype k6 a, Showtype k5 b, Showtype k4 c, Showtype k3 d, Showtype k2 e, Showtype k1 f, Showtype k g) => Showtype (k6, k5, k4, k3, k2, k1, k) ((,,,,,,) k6 k5 k4 k3 k2 k1 k a b c d e f g) #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
(Showtype k7 a, Showtype k6 b, Showtype k5 c, Showtype k4 d, Showtype k3 e, Showtype k2 f, Showtype k1 g, Showtype k h) => Showtype (k7, k6, k5, k4, k3, k2, k1, k) ((,,,,,,,) k7 k6 k5 k4 k3 k2 k1 k a b c d e f g h) #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
(Showtype k8 a, Showtype k7 b, Showtype k6 c, Showtype k5 d, Showtype k4 e, Showtype k3 f, Showtype k2 g, Showtype k1 h, Showtype k i) => Showtype (k8, k7, k6, k5, k4, k3, k2, k1, k) ((,,,,,,,,) k8 k7 k6 k5 k4 k3 k2 k1 k a b c d e f g h i) #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #
(Showtype k9 a, Showtype k8 b, Showtype k7 c, Showtype k6 d, Showtype k5 e, Showtype k4 f, Showtype k3 g, Showtype k2 h, Showtype k1 i, Showtype k j) => Showtype (k9, k8, k7, k6, k5, k4, k3, k2, k1, k) ((,,,,,,,,,) k9 k8 k7 k6 k5 k4 k3 k2 k1 k a b c d e f g h i j) #
Methods showtype :: proxy a -> String # showtypesPrec :: Int -> proxy a -> String -> String #

printtype :: Showtype a => proxy a -> IO () #