Data.Title

Generic titling (labeling).

Documentation

class Title u where

Provide a title on a value. If you can title polymorphically, please instantiate Title_f instead of Title. Then you'll automatically get a Title for each type instance, thanks to this rule.

  instance Title_f f => Title (f a) where title = title_f

To handle ambiguity for types like ([] Char) -- aka String, this module is compiled with OverlappingInstances and UndecidableInstances. The more specific instance (yours) wins.

In defining your instance, you might want to use the String instance, e.g., title ttl "".

Minimal complete definition

title

Methods

title :: String -> u -> u

Instances

Title String

Methods

title :: String -> String -> String

Title_f f => Title (f a)

Methods

title :: String -> f a -> f a

Title a => Title (CxMonoid a)

Methods

title :: String -> CxMonoid a -> CxMonoid a

Title b => Title (a -> b)

Methods

title :: String -> (a -> b) -> a -> b

class Title_f f where

Minimal complete definition

title_f

Methods

title_f :: String -> f a -> f a

title for all applications of f

Instances

Title_f IO

Methods

title_f :: String -> IO a -> IO a

Title o => Title_f (Flip (->) o)

Methods

title_f :: String -> Flip (->) o a -> Flip (->) o a

Title_f g => Title_f ((:.) g f)

Methods

title_f :: String -> (g :. f) a -> (g :. f) a