Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Monad.Freer.Par.Sequence

Contents

Synopsis

class Sequence sq where
- 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
- viewl :: sq cat a b -> ViewL sq cat a b
data ViewL sq cat a b where
- EmptyL :: ViewL sq cat a a
- (:<|) :: cat a x -> sq cat x b -> ViewL sq cat a b
(<|) :: Sequence sq => cat a b -> sq cat b c -> sq cat a c
(|>) :: Sequence sq => sq cat a b -> cat b c -> sq cat a c
mapS :: (Applicative f, Sequence sq) => (forall x y. cat x y -> f (cat x y)) -> sq cat a b -> f (sq cat a b)

Sequence and ViewL

class Sequence sq where Source #

Methods

empty :: sq cat a a Source #

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

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

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

Instances details

Instance details

Methods

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

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

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

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

data ViewL sq cat a b where Source #

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 Source #

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

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