Control.Subcategory.Alternative

Documentation

class CChoice f => CAlternative f where

Minimal complete definition

Nothing

Methods

cempty :: Dom f a => f a

default cempty :: Alternative f => f a

Instances

CAlternative []

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom [] a => [a]

CAlternative Maybe

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom Maybe a => Maybe a

CAlternative Option

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom Option a => Option a

CAlternative ReadPrec

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom ReadPrec a => ReadPrec a

CAlternative ReadP

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom ReadP a => ReadP a

CAlternative IntMap

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom IntMap a => IntMap a

CAlternative Seq

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom Seq a => Seq a

CAlternative Set

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom Set a => Set a

CAlternative PrimArray

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom PrimArray a => PrimArray a

CAlternative SmallArray

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom SmallArray a => SmallArray a

CAlternative Array

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom Array a => Array a

CAlternative HashSet

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom HashSet a => HashSet a

CAlternative Vector

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom Vector a => Vector a

CAlternative Vector

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom Vector a => Vector a

CAlternative Vector

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom Vector a => Vector a

CAlternative Vector

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom Vector a => Vector a

Ord k => CAlternative (Map k)

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom (Map k) a => Map k a

(Eq k, Hashable k) => CAlternative (HashMap k)

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom (HashMap k) a => HashMap k a

(MonoFunctor mono, Monoid mono, GrowingAppend mono) => CAlternative (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom (WrapMono mono) a => WrapMono mono a

CAlternative f => CAlternative (CApp f)

Defined in Control.Subcategory.Applicative

Methods

cempty :: Dom (CApp f) a => CApp f a

CAlternative f => CAlternative (CAlt f)

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom (CAlt f) a => CAlt f a

(CAlternative f, CAlternative g) => CAlternative (Product f g)

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom (Product f g) a => Product f g a

(CAlternative f, CFunctor g) => CAlternative (Compose f g)

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom (Compose f g) a => Compose f g a

class CFunctor f => CChoice f where

Minimal complete definition

Nothing

Methods

(<!>) :: Dom f a => f a -> f a -> f a infixl 3

default (<!>) :: Alternative f => f a -> f a -> f a

Instances

CChoice []

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom [] a => [a] -> [a] -> [a]

CChoice Maybe

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom Maybe a => Maybe a -> Maybe a -> Maybe a

CChoice Option

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom Option a => Option a -> Option a -> Option a

CChoice ReadPrec

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom ReadPrec a => ReadPrec a -> ReadPrec a -> ReadPrec a

CChoice ReadP

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom ReadP a => ReadP a -> ReadP a -> ReadP a

CChoice NonEmpty

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom NonEmpty a => NonEmpty a -> NonEmpty a -> NonEmpty a

CChoice IntMap

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom IntMap a => IntMap a -> IntMap a -> IntMap a

CChoice Seq

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom Seq a => Seq a -> Seq a -> Seq a

CChoice Set

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom Set a => Set a -> Set a -> Set a

CChoice PrimArray

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom PrimArray a => PrimArray a -> PrimArray a -> PrimArray a

CChoice SmallArray

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom SmallArray a => SmallArray a -> SmallArray a -> SmallArray a

CChoice Array

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom Array a => Array a -> Array a -> Array a

CChoice HashSet

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom HashSet a => HashSet a -> HashSet a -> HashSet a

CChoice Vector

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom Vector a => Vector a -> Vector a -> Vector a

CChoice Vector

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom Vector a => Vector a -> Vector a -> Vector a

CChoice Vector

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom Vector a => Vector a -> Vector a -> Vector a

CChoice Vector

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom Vector a => Vector a -> Vector a -> Vector a

CChoice (Either a)

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom (Either a) a0 => Either a a0 -> Either a a0 -> Either a a0

Ord k => CChoice (Map k)

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom (Map k) a => Map k a -> Map k a -> Map k a

(Eq k, Hashable k) => CChoice (HashMap k)

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom (HashMap k) a => HashMap k a -> HashMap k a -> HashMap k a

(MonoFunctor mono, GrowingAppend mono, Semigroup mono) => CChoice (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom (WrapMono mono) a => WrapMono mono a -> WrapMono mono a -> WrapMono mono a

CChoice f => CChoice (CApp f)

Defined in Control.Subcategory.Applicative

Methods

(<!>) :: Dom (CApp f) a => CApp f a -> CApp f a -> CApp f a

CChoice f => CChoice (CAlt f)

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom (CAlt f) a => CAlt f a -> CAlt f a -> CAlt f a

(CChoice f, CChoice g) => CChoice (Product f g)

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom (Product f g) a => Product f g a -> Product f g a -> Product f g a

(CChoice f, CFunctor g) => CChoice (Compose f g)

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom (Compose f g) a => Compose f g a -> Compose f g a -> Compose f g a

newtype CAlt f a

Constructors

CAlt

Fields

• runAlt :: f a

Instances

Functor f => Functor (CAlt f)

Defined in Control.Subcategory.Alternative

Methods

fmap :: (a -> b) -> CAlt f a -> CAlt f b

(<$) :: a -> CAlt f b -> CAlt f a

Applicative f => Applicative (CAlt f)

Defined in Control.Subcategory.Alternative

Methods

pure :: a -> CAlt f a

(<*>) :: CAlt f (a -> b) -> CAlt f a -> CAlt f b

liftA2 :: (a -> b -> c) -> CAlt f a -> CAlt f b -> CAlt f c

(*>) :: CAlt f a -> CAlt f b -> CAlt f b

(<*) :: CAlt f a -> CAlt f b -> CAlt f a

Alternative f => Alternative (CAlt f)

Defined in Control.Subcategory.Alternative

Methods

empty :: CAlt f a

(<|>) :: CAlt f a -> CAlt f a -> CAlt f a

some :: CAlt f a -> CAlt f [a]

many :: CAlt f a -> CAlt f [a]

CFunctor f => CFunctor (CAlt f)

Defined in Control.Subcategory.Alternative

Methods

cmap :: (Dom (CAlt f) a, Dom (CAlt f) b) => (a -> b) -> CAlt f a -> CAlt f b

(<$:) :: (Dom (CAlt f) a, Dom (CAlt f) b) => a -> CAlt f b -> CAlt f a

Constrained (CAlt f)

Defined in Control.Subcategory.Alternative

Associated Types

type Dom (CAlt f) a

CPointed f => CPointed (CAlt f)

Defined in Control.Subcategory.Alternative

Methods

cpure :: Dom (CAlt f) a => a -> CAlt f a

CApplicative f => CApplicative (CAlt f)

Defined in Control.Subcategory.Alternative

Methods

pair :: (Dom (CAlt f) a, Dom (CAlt f) b, Dom (CAlt f) (a, b)) => CAlt f a -> CAlt f b -> CAlt f (a, b)

(<.>) :: (Dom (CAlt f) a, Dom (CAlt f) b, Dom (CAlt f) (a -> b)) => CAlt f (a -> b) -> CAlt f a -> CAlt f b

(.>) :: (Dom (CAlt f) a, Dom (CAlt f) b) => CAlt f a -> CAlt f b -> CAlt f b

(<.) :: (Dom (CAlt f) a, Dom (CAlt f) b) => CAlt f a -> CAlt f b -> CAlt f a

CAlternative f => CAlternative (CAlt f)

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom (CAlt f) a => CAlt f a

CChoice f => CChoice (CAlt f)

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom (CAlt f) a => CAlt f a -> CAlt f a -> CAlt f a

(Dom f a, CChoice f) => Semigroup (CAlt f a)

Defined in Control.Subcategory.Alternative

Methods

(<>) :: CAlt f a -> CAlt f a -> CAlt f a

sconcat :: NonEmpty (CAlt f a) -> CAlt f a

stimes :: Integral b => b -> CAlt f a -> CAlt f a

(Dom f a, CAlternative f) => Monoid (CAlt f a)

Defined in Control.Subcategory.Alternative

Methods

mempty :: CAlt f a

mappend :: CAlt f a -> CAlt f a -> CAlt f a

mconcat :: [CAlt f a] -> CAlt f a

type Dom (CAlt f) a

Defined in Control.Subcategory.Alternative

type Dom (CAlt f) a = Dom f a

Orphan instances

CAlternative []

Methods

cempty :: Dom [] a => [a]

CAlternative Maybe

Methods

cempty :: Dom Maybe a => Maybe a

CAlternative Option

Methods

cempty :: Dom Option a => Option a

CAlternative ReadPrec

Methods

cempty :: Dom ReadPrec a => ReadPrec a

CAlternative ReadP

Methods

cempty :: Dom ReadP a => ReadP a

CAlternative IntMap

Methods

cempty :: Dom IntMap a => IntMap a

CAlternative Seq

Methods

cempty :: Dom Seq a => Seq a

CAlternative Set

Methods

cempty :: Dom Set a => Set a

CAlternative PrimArray

Methods

cempty :: Dom PrimArray a => PrimArray a

CAlternative SmallArray

Methods

cempty :: Dom SmallArray a => SmallArray a

CAlternative Array

Methods

cempty :: Dom Array a => Array a

CAlternative HashSet

Methods

cempty :: Dom HashSet a => HashSet a

CAlternative Vector

Methods

cempty :: Dom Vector a => Vector a

CAlternative Vector

Methods

cempty :: Dom Vector a => Vector a

CAlternative Vector

Methods

cempty :: Dom Vector a => Vector a

CAlternative Vector

Methods

cempty :: Dom Vector a => Vector a

CChoice []

Methods

(<!>) :: Dom [] a => [a] -> [a] -> [a]

CChoice Maybe

Methods

(<!>) :: Dom Maybe a => Maybe a -> Maybe a -> Maybe a

CChoice Option

Methods

(<!>) :: Dom Option a => Option a -> Option a -> Option a

CChoice ReadPrec

Methods

(<!>) :: Dom ReadPrec a => ReadPrec a -> ReadPrec a -> ReadPrec a

CChoice ReadP

Methods

(<!>) :: Dom ReadP a => ReadP a -> ReadP a -> ReadP a

CChoice NonEmpty

Methods

(<!>) :: Dom NonEmpty a => NonEmpty a -> NonEmpty a -> NonEmpty a

CChoice IntMap

Methods

(<!>) :: Dom IntMap a => IntMap a -> IntMap a -> IntMap a

CChoice Seq

Methods

(<!>) :: Dom Seq a => Seq a -> Seq a -> Seq a

CChoice Set

Methods

(<!>) :: Dom Set a => Set a -> Set a -> Set a

CChoice PrimArray

Methods

(<!>) :: Dom PrimArray a => PrimArray a -> PrimArray a -> PrimArray a

CChoice SmallArray

Methods

(<!>) :: Dom SmallArray a => SmallArray a -> SmallArray a -> SmallArray a

CChoice Array

Methods

(<!>) :: Dom Array a => Array a -> Array a -> Array a

CChoice HashSet

Methods

(<!>) :: Dom HashSet a => HashSet a -> HashSet a -> HashSet a

CChoice Vector

Methods

(<!>) :: Dom Vector a => Vector a -> Vector a -> Vector a

CChoice Vector

Methods

(<!>) :: Dom Vector a => Vector a -> Vector a -> Vector a

CChoice Vector

Methods

(<!>) :: Dom Vector a => Vector a -> Vector a -> Vector a

CChoice Vector

Methods

(<!>) :: Dom Vector a => Vector a -> Vector a -> Vector a

Ord k => CAlternative (Map k)

Methods

cempty :: Dom (Map k) a => Map k a

(Eq k, Hashable k) => CAlternative (HashMap k)

Methods

cempty :: Dom (HashMap k) a => HashMap k a

CChoice (Either a)

Methods

(<!>) :: Dom (Either a) a0 => Either a a0 -> Either a a0 -> Either a a0

Ord k => CChoice (Map k)

Methods

(<!>) :: Dom (Map k) a => Map k a -> Map k a -> Map k a

(Eq k, Hashable k) => CChoice (HashMap k)

Methods

(<!>) :: Dom (HashMap k) a => HashMap k a -> HashMap k a -> HashMap k a

(MonoFunctor mono, Monoid mono, GrowingAppend mono) => CAlternative (WrapMono mono :: Type -> Type)

Methods

cempty :: Dom (WrapMono mono) a => WrapMono mono a

(MonoFunctor mono, GrowingAppend mono, Semigroup mono) => CChoice (WrapMono mono :: Type -> Type)

Methods

(<!>) :: Dom (WrapMono mono) a => WrapMono mono a -> WrapMono mono a -> WrapMono mono a

(CAlternative f, CAlternative g) => CAlternative (Product f g)

Methods

cempty :: Dom (Product f g) a => Product f g a

(CChoice f, CChoice g) => CChoice (Product f g)

Methods

(<!>) :: Dom (Product f g) a => Product f g a -> Product f g a -> Product f g a

(CAlternative f, CFunctor g) => CAlternative (Compose f g)

Methods

cempty :: Dom (Compose f g) a => Compose f g a

(CChoice f, CFunctor g) => CChoice (Compose f g)

Methods

(<!>) :: Dom (Compose f g) a => Compose f g a -> Compose f g a -> Compose f g a