Control.Super.Monad.Constrained.Alternative

WARNING: This module is an experiment to see how Alternative may be encoded. The authors are not aware of any generalized applicatives that make use of Alternative. Hence, we do not know if this encoding of it is sufficient. Therefore, the encoding is not in its final form and may change in the future.

Documentation

class Functor f => AlternativeEmpty f where

The encoding of the empty operation.

Return is not a superclass, because the indices or constraints involved in an AlternativeEmpty instance may differ from those involved with the Return instance.

WARNING: This module is an experiment to see how Alternative may be encoded. The authors are not aware of any generalized applicatives that make use of Alternative. Hence, we do not know if this encoding of it is sufficient. Therefore, the encoding is not in its final form and may change in the future.

Minimal complete definition

empty

Associated Types

type AlternativeEmptyCts f a :: Constraint

Methods

empty :: AlternativeEmptyCts f a => f a

Instances

AlternativeEmpty []

Associated Types

type AlternativeEmptyCts ([] :: * -> *) a :: Constraint

Methods

empty :: AlternativeEmptyCts [] a => [a]

AlternativeEmpty Maybe

Associated Types

type AlternativeEmptyCts (Maybe :: * -> *) a :: Constraint

Methods

empty :: AlternativeEmptyCts Maybe a => Maybe a

AlternativeEmpty IO

Associated Types

type AlternativeEmptyCts (IO :: * -> *) a :: Constraint

Methods

empty :: AlternativeEmptyCts IO a => IO a

AlternativeEmpty Option

Associated Types

type AlternativeEmptyCts (Option :: * -> *) a :: Constraint

Methods

empty :: AlternativeEmptyCts Option a => Option a

AlternativeEmpty STM

Associated Types

type AlternativeEmptyCts (STM :: * -> *) a :: Constraint

Methods

empty :: AlternativeEmptyCts STM a => STM a

AlternativeEmpty ReadPrec

Associated Types

type AlternativeEmptyCts (ReadPrec :: * -> *) a :: Constraint

Methods

empty :: AlternativeEmptyCts ReadPrec a => ReadPrec a

AlternativeEmpty ReadP

Associated Types

type AlternativeEmptyCts (ReadP :: * -> *) a :: Constraint

Methods

empty :: AlternativeEmptyCts ReadP a => ReadP a

AlternativeEmpty (U1 *)

Associated Types

type AlternativeEmptyCts (U1 * :: * -> *) a :: Constraint

Methods

empty :: AlternativeEmptyCts (U1 *) a => U1 * a

AlternativeEmpty (Proxy *)

Associated Types

type AlternativeEmptyCts (Proxy * :: * -> *) a :: Constraint

Methods

empty :: AlternativeEmptyCts (Proxy *) a => Proxy * a

AlternativeEmpty f => AlternativeEmpty (Rec1 * f)

Associated Types

type AlternativeEmptyCts (Rec1 * f :: * -> *) a :: Constraint

Methods

empty :: AlternativeEmptyCts (Rec1 * f) a => Rec1 * f a

AlternativeEmpty f => AlternativeEmpty (Alt * f)

Associated Types

type AlternativeEmptyCts (Alt * f :: * -> *) a :: Constraint

Methods

empty :: AlternativeEmptyCts (Alt * f) a => Alt * f a

(AlternativeEmpty f, AlternativeEmpty g) => AlternativeEmpty ((:*:) * f g)

Associated Types

type AlternativeEmptyCts ((* :*: f) g :: * -> *) a :: Constraint

Methods

empty :: AlternativeEmptyCts ((* :*: f) g) a => (* :*: f) g a

(AlternativeEmpty f, AlternativeEmpty f') => AlternativeEmpty (Product * f f')

Associated Types

type AlternativeEmptyCts (Product * f f' :: * -> *) a :: Constraint

Methods

empty :: AlternativeEmptyCts (Product * f f') a => Product * f f' a

AlternativeEmpty f => AlternativeEmpty (M1 * i c f)

Associated Types

type AlternativeEmptyCts (M1 * i c f :: * -> *) a :: Constraint

Methods

empty :: AlternativeEmptyCts (M1 * i c f) a => M1 * i c f a

(AlternativeEmpty f, AlternativeEmpty g) => AlternativeEmpty ((:.:) * * f g)

Associated Types

type AlternativeEmptyCts ((* :.: *) f g :: * -> *) a :: Constraint

Methods

empty :: AlternativeEmptyCts ((* :.: *) f g) a => (* :.: *) f g a

(AlternativeEmpty f, AlternativeEmpty f') => AlternativeEmpty (Compose * * f f')

Associated Types

type AlternativeEmptyCts (Compose * * f f' :: * -> *) a :: Constraint

Methods

empty :: AlternativeEmptyCts (Compose * * f f') a => Compose * * f f' a

class (Functor f, Functor g, Functor h) => AlternativeAlt f g h where

The encoding of the <|> operation.

Applicative is not a superclass, because the indices or constraints involved in an Alternative instance may differ from those involved with the Applicative instance.

WARNING: This module is an experiment to see how Alternative may be encoded. The authors are not aware of any generalized applicatives that make use of Alternative. Hence, we do not know if this encoding of it is sufficient. Therefore, the encoding is not in its final form and may change in the future.

Minimal complete definition

(<|>)

Associated Types

type AlternativeAltCts f g h a :: Constraint

Methods

(<|>) :: AlternativeAltCts f g h a => f a -> g a -> h a

Instances

AlternativeAlt [] [] []

Associated Types

type AlternativeAltCts ([] :: * -> *) ([] :: * -> *) ([] :: * -> *) a :: Constraint

Methods

(<|>) :: AlternativeAltCts [] [] [] a => [a] -> [a] -> [a]

AlternativeAlt Maybe Maybe Maybe

Associated Types

type AlternativeAltCts (Maybe :: * -> *) (Maybe :: * -> *) (Maybe :: * -> *) a :: Constraint

Methods

(<|>) :: AlternativeAltCts Maybe Maybe Maybe a => Maybe a -> Maybe a -> Maybe a

AlternativeAlt IO IO IO

Associated Types

type AlternativeAltCts (IO :: * -> *) (IO :: * -> *) (IO :: * -> *) a :: Constraint

Methods

(<|>) :: AlternativeAltCts IO IO IO a => IO a -> IO a -> IO a

AlternativeAlt Option Option Option

Associated Types

type AlternativeAltCts (Option :: * -> *) (Option :: * -> *) (Option :: * -> *) a :: Constraint

Methods

(<|>) :: AlternativeAltCts Option Option Option a => Option a -> Option a -> Option a

AlternativeAlt STM STM STM

Associated Types

type AlternativeAltCts (STM :: * -> *) (STM :: * -> *) (STM :: * -> *) a :: Constraint

Methods

(<|>) :: AlternativeAltCts STM STM STM a => STM a -> STM a -> STM a

AlternativeAlt ReadPrec ReadPrec ReadPrec

Associated Types

type AlternativeAltCts (ReadPrec :: * -> *) (ReadPrec :: * -> *) (ReadPrec :: * -> *) a :: Constraint

Methods

(<|>) :: AlternativeAltCts ReadPrec ReadPrec ReadPrec a => ReadPrec a -> ReadPrec a -> ReadPrec a

AlternativeAlt ReadP ReadP ReadP

Associated Types

type AlternativeAltCts (ReadP :: * -> *) (ReadP :: * -> *) (ReadP :: * -> *) a :: Constraint

Methods

(<|>) :: AlternativeAltCts ReadP ReadP ReadP a => ReadP a -> ReadP a -> ReadP a

AlternativeAlt (U1 *) (U1 *) (U1 *)

Associated Types

type AlternativeAltCts (U1 * :: * -> *) (U1 * :: * -> *) (U1 * :: * -> *) a :: Constraint

Methods

(<|>) :: AlternativeAltCts (U1 *) (U1 *) (U1 *) a => U1 * a -> U1 * a -> U1 * a

AlternativeAlt (Proxy *) (Proxy *) (Proxy *)

Associated Types

type AlternativeAltCts (Proxy * :: * -> *) (Proxy * :: * -> *) (Proxy * :: * -> *) a :: Constraint

Methods

(<|>) :: AlternativeAltCts (Proxy *) (Proxy *) (Proxy *) a => Proxy * a -> Proxy * a -> Proxy * a

AlternativeAlt f g h => AlternativeAlt (Rec1 * f) (Rec1 * g) (Rec1 * h)

Associated Types

type AlternativeAltCts (Rec1 * f :: * -> *) (Rec1 * g :: * -> *) (Rec1 * h :: * -> *) a :: Constraint

Methods

(<|>) :: AlternativeAltCts (Rec1 * f) (Rec1 * g) (Rec1 * h) a => Rec1 * f a -> Rec1 * g a -> Rec1 * h a

AlternativeAlt f g h => AlternativeAlt (Alt * f) (Alt * g) (Alt * h)

Associated Types

type AlternativeAltCts (Alt * f :: * -> *) (Alt * g :: * -> *) (Alt * h :: * -> *) a :: Constraint

Methods

(<|>) :: AlternativeAltCts (Alt * f) (Alt * g) (Alt * h) a => Alt * f a -> Alt * g a -> Alt * h a

(AlternativeAlt f g h, AlternativeAlt f' g' h') => AlternativeAlt ((:*:) * f f') ((:*:) * g g') ((:*:) * h h')

Associated Types

type AlternativeAltCts ((* :*: f) f' :: * -> *) ((* :*: g) g' :: * -> *) ((* :*: h) h' :: * -> *) a :: Constraint

Methods

(<|>) :: AlternativeAltCts ((* :*: f) f') ((* :*: g) g') ((* :*: h) h') a => (* :*: f) f' a -> (* :*: g) g' a -> (* :*: h) h' a

(AlternativeAlt f g h, AlternativeAlt f' g' h') => AlternativeAlt (Product * f f') (Product * g g') (Product * h h')

Associated Types

type AlternativeAltCts (Product * f f' :: * -> *) (Product * g g' :: * -> *) (Product * h h' :: * -> *) a :: Constraint

Methods

(<|>) :: AlternativeAltCts (Product * f f') (Product * g g') (Product * h h') a => Product * f f' a -> Product * g g' a -> Product * h h' a

AlternativeAlt f g h => AlternativeAlt (M1 * i c f) (M1 * i c g) (M1 * i c h)

Associated Types

type AlternativeAltCts (M1 * i c f :: * -> *) (M1 * i c g :: * -> *) (M1 * i c h :: * -> *) a :: Constraint

Methods

(<|>) :: AlternativeAltCts (M1 * i c f) (M1 * i c g) (M1 * i c h) a => M1 * i c f a -> M1 * i c g a -> M1 * i c h a

(Applicative f g h, AlternativeAlt f' g' h') => AlternativeAlt ((:.:) * * f f') ((:.:) * * g g') ((:.:) * * h h')

Associated Types

type AlternativeAltCts ((* :.: *) f f' :: * -> *) ((* :.: *) g g' :: * -> *) ((* :.: *) h h' :: * -> *) a :: Constraint

Methods

(<|>) :: AlternativeAltCts ((* :.: *) f f') ((* :.: *) g g') ((* :.: *) h h') a => (* :.: *) f f' a -> (* :.: *) g g' a -> (* :.: *) h h' a

(Applicative f g h, AlternativeAlt f' g' h') => AlternativeAlt (Compose * * f f') (Compose * * g g') (Compose * * h h')

Associated Types

type AlternativeAltCts (Compose * * f f' :: * -> *) (Compose * * g g' :: * -> *) (Compose * * h h' :: * -> *) a :: Constraint

Methods

(<|>) :: AlternativeAltCts (Compose * * f f') (Compose * * g g') (Compose * * h h') a => Compose * * f f' a -> Compose * * g g' a -> Compose * * h h' a