Control.Subcategory.Alternative.Class

Documentation

class CFunctor f => CChoice f where

Minimal complete definition

Nothing

Methods

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

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

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

class CChoice f => CAlternative f where

Minimal complete definition

Nothing

Methods

cempty :: Dom f a => f a

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