Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
Type.Showtype
Contents
Showtype
Minimal complete definition
Instances
Showtype Bool False # | |
Showtype Bool True # | |
Showtype Ordering LT # | |
Showtype Ordering EQ # | |
Showtype Ordering GT # | |
Typeable Constraint a => Showtype Constraint a # | |
Typeable * a => Showtype * a # | |
KnownNat n => Showtype Nat n # | |
KnownSymbol s => Showtype Symbol s # | |
Showtype () () # | |
Showtype [k] ([] k) # | |
Showtype (Maybe a) (Nothing a) # | |
Showtype a a1 => Showtype (Maybe a) (Just a a1) # | |
(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 b a1 => Showtype (Either a b) (Right a b a1) # | |
Showtype a a1 => Showtype (Either a b) (Left a b a1) # | |
(Showtype k1 a, Showtype k b) => Showtype (k1, k) ((,) k1 k a b) # | |
(Showtype k2 a, Showtype k1 b, Showtype k c) => Showtype (k2, k1, k) ((,,) k2 k1 k a b c) # | |
(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) # | |
(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) # | |
(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) # | |
(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) # | |
(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) # | |
(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) # | |
(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) # | |