Control.Coercible

class Coercible a b  where

Members

• coerce :: a -> b

Instances

• Coercible a a
• Coercible a Unit
• Coercible Void a
• Coercible a (b -> a)
• Coercible Int Number
• Coercible Char String
• Coercible (Array Char) String
• Coercible String (Array Char)
• (Functor f, Coercible a b) => Coercible (f a) (f b)
• (Applicative f) => Coercible a (f a)
• (Bind m) => Coercible (m (m a)) (m a)
• (Comonad m) => Coercible (m a) a
• Coercible (List Char) String
• Coercible String (List Char)