show-type-0.1.1: convert types into string values in haskell

Safe HaskellTrustworthy
LanguageHaskell2010

Type.Showtype

Contents

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 () #