Applicative - BHC Documentation

newtype Const a b { } #

Const { getConst :: a }

The constant functor. Ignores the second type parameter.

newtype ZipList a { } #

ZipList { getZipList :: [a] }

Lists with a zippy Applicative. Unlike the default list instance,

optional :: (Alternative f) => (f a) -> f (Maybe a) { } #

O(1). Zero or one. Turns an Alternative into an optional value.

asum :: (Foldable t, Alternative f) => (t (f a)) -> f a { } #

O(n). Combine alternatives using '<|>'.

<*> :: { } #

<|> :: { } #

instance Functor (Const a) { }

instance Functor ZipList { }