Control.Monad.Freer.Par.Sequence

Sequence and ViewL

class Sequence sq where

Methods

empty :: sq cat a a

singleton :: cat a b -> sq cat a b

(><) :: sq cat a b -> sq cat b c -> sq cat a c infixr 8

viewl :: sq cat a b -> ViewL sq cat a b

Instances

Sequence FTCQueue

Defined in Control.Monad.Freer.Par.FTCQueue

Methods

empty :: forall (cat :: Type -> Type -> TYPE LiftedRep) a. FTCQueue cat a a

singleton :: cat a b -> FTCQueue cat a b

(><) :: forall (cat :: Type -> Type -> TYPE LiftedRep) a b c. FTCQueue cat a b -> FTCQueue cat b c -> FTCQueue cat a c

viewl :: forall (cat :: Type -> Type -> TYPE LiftedRep) a b. FTCQueue cat a b -> ViewL FTCQueue cat a b

data ViewL sq cat a b where

Constructors

EmptyL :: ViewL sq cat a a

(:<|) :: cat a x -> sq cat x b -> ViewL sq cat a b

Combinator

(<|) :: Sequence sq => cat a b -> sq cat b c -> sq cat a c infixr 8

(|>) :: Sequence sq => sq cat a b -> cat b c -> sq cat a c infixl 8

mapS :: (Applicative f, Sequence sq) => (forall x y. cat x y -> f (cat x y)) -> sq cat a b -> f (sq cat a b)