Safe Haskell	Trustworthy
Language	Haskell2010

Type.Showtype

Contents

Showtype

Synopsis

Showtype

class Showtype a where Source

Conversion of types to readable Strings. Analogous to Show.

Minimal complete definition

showtype | showtypesPrec

Methods

showtype :: proxy a -> String Source

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

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

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

Instances

Showtype Bool False
Showtype Bool True
Showtype Ordering LT
Showtype Ordering EQ
Showtype Ordering GT
Typeable * a => Showtype * a
Typeable Constraint a => Showtype Constraint a
KnownNat n => Showtype Nat n
KnownSymbol s => Showtype Symbol s
Showtype () ()
Showtype [k] ([] k)
Showtype (Maybe k) (Nothing k)
Showtype k a => Showtype (Maybe k) (Just k a)
(Showtype k a, Showlisttype k as) => Showtype [k] ((:) k a as)
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
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> Constraint) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> Constraint) a
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> Constraint) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> Constraint) a
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> Constraint) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> Constraint) a
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> Constraint) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> Constraint) a
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> Constraint) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> Constraint) a
Typeable (k1 -> k2 -> k3 -> k4 -> Constraint) a => Showtype (k1 -> k2 -> k3 -> k4 -> Constraint) a
Typeable (k1 -> k2 -> k3 -> Constraint) a => Showtype (k1 -> k2 -> k3 -> Constraint) a
Typeable (k1 -> k2 -> Constraint) a => Showtype (k1 -> k2 -> Constraint) a
Typeable (k -> Constraint) a => Showtype (k -> Constraint) a
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> ) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> ) a
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> ) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> ) a
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> ) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> ) a
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> ) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> ) a
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> ) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> ) a
Typeable (k1 -> k2 -> k3 -> k4 -> k5 -> ) a => Showtype (k1 -> k2 -> k3 -> k4 -> k5 -> ) a
Typeable (k1 -> k2 -> k3 -> k4 -> ) a => Showtype (k1 -> k2 -> k3 -> k4 -> ) a
Typeable (k1 -> k2 -> k3 -> ) a => Showtype (k1 -> k2 -> k3 -> ) a
Typeable (k1 -> k2 -> ) a => Showtype (k1 -> k2 -> ) a
Typeable (k -> ) a => Showtype (k -> ) a
Showtype k1 a => Showtype (Either k k) (Right k k a)
Showtype k a => Showtype (Either k k) (Left k k a)
(Showtype k a, Showtype k1 b) => Showtype ((,) k k) ((,) k k a b)
(Showtype k a, Showtype k1 b, Showtype k2 c) => Showtype ((,,) k k k) ((,,) k k k a b c)
(Showtype k a, Showtype k1 b, Showtype k2 c, Showtype k3 d) => Showtype ((,,,) k k k k) ((,,,) k k k k a b c d)
(Showtype k a, Showtype k1 b, Showtype k2 c, Showtype k3 d, Showtype k4 e) => Showtype ((,,,,) k k k k k) ((,,,,) k k k k k a b c d e)
(Showtype k a, Showtype k1 b, Showtype k2 c, Showtype k3 d, Showtype k4 e, Showtype k5 f) => Showtype ((,,,,,) k k k k k k) ((,,,,,) k k k k k k a b c d e f)
(Showtype k a, Showtype k1 b, Showtype k2 c, Showtype k3 d, Showtype k4 e, Showtype k5 f, Showtype k6 g) => Showtype ((,,,,,,) k k k k k k k) ((,,,,,,) k k k k k k k a b c d e f g)
(Showtype k a, Showtype k1 b, Showtype k2 c, Showtype k3 d, Showtype k4 e, Showtype k5 f, Showtype k6 g, Showtype k7 h) => Showtype ((,,,,,,,) k k k k k k k k) ((,,,,,,,) k k k k k k k k a b c d e f g h)
(Showtype k a, Showtype k1 b, Showtype k2 c, Showtype k3 d, Showtype k4 e, Showtype k5 f, Showtype k6 g, Showtype k7 h, Showtype k8 i) => Showtype ((,,,,,,,,) k k k k k k k k k) ((,,,,,,,,) k k k k k k k k k a b c d e f g h i)
(Showtype k a, Showtype k1 b, Showtype k2 c, Showtype k3 d, Showtype k4 e, Showtype k5 f, Showtype k6 g, Showtype k7 h, Showtype k8 i, Showtype k9 j) => Showtype ((,,,,,,,,,) k k k k k k k k k k) ((,,,,,,,,,) k k k k k k k k k k a b c d e f g h i j)

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