Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Monad.Freer.Par.Funable

Contents

Synopsis

class Funable f where
- fun :: (a -> m b) -> f m a b
- ($$) :: Applicative m => f m a b -> a -> m b
class Taggable (t :: (* -> *) -> * -> * -> *) where
- getTag :: t m a b -> Tag
- putTag :: t m a b -> Id -> t m a b
data Tag
- = NoTag
- | Tag Id
sameTag :: Tag -> Tag -> Bool
data Id

Funable

class Funable f where Source #

Methods

fun :: (a -> m b) -> f m a b Source #

($$) :: Applicative m => f m a b -> a -> m b Source #

Instances details

Funable TaggableFun Source #
Instance details Defined in Control.Monad.Freer.Par.TaggableFunction Methods fun :: (a -> m b) -> TaggableFun m a b Source # ($$) :: Applicative m => TaggableFun m a b -> a -> m b Source #

Taggable

class Taggable (t :: (* -> *) -> * -> * -> *) where Source #

Methods

getTag :: t m a b -> Tag Source #

putTag :: t m a b -> Id -> t m a b Source #

Instances details

Taggable TaggableFun Source #
Instance details Defined in Control.Monad.Freer.Par.TaggableFunction Methods getTag :: forall (m :: Type -> Type) a b. TaggableFun m a b -> Tag Source # putTag :: forall (m :: Type -> Type) a b. TaggableFun m a b -> Id -> TaggableFun m a b Source #

Constructors

NoTag
Tag Id

Instances details

Show Tag Source #
Instance details Defined in Control.Monad.Freer.Par.Funable Methods showsPrec :: Int -> Tag -> ShowS # show :: Tag -> String # showList :: [Tag] -> ShowS #

Instances details

Show Id Source #
Instance details Defined in Control.Monad.Freer.Par.Internal.Id Methods showsPrec :: Int -> Id -> ShowS # show :: Id -> String # showList :: [Id] -> ShowS #
Eq Id Source #
Instance details Defined in Control.Monad.Freer.Par.Internal.Id Methods (==) :: Id -> Id -> Bool # (/=) :: Id -> Id -> Bool #