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 "".

Methods

title :: String -> u -> u

Instances

Title String

Defined in Data.Title

Methods

title :: String -> String -> String

Title_f f => Title (f a)

Defined in Data.Title

Methods

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

Title a => Title (CxMonoid a)

Defined in Data.CxMonoid

Methods

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

Title b => Title (a -> b)

Defined in Data.Title

Methods

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

class Title_f f where

Methods

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

title for all applications of f

Instances

Title_f IO

Defined in Data.Title

Methods

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

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

Defined in Data.Title

Methods

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

Title_f g => Title_f (g :. f)

Defined in Data.Title

Methods

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