Safe Haskell	None
Language	Haskell2010

Control.Monad.Channel.Internal

Contents

Orphan instances

Documentation

newtype ChannelT sel m a #

Constructors

ChannelT
Fields unChannelT :: FreeT (ChannelF sel) m a

Instances

MonadBase b m => MonadBase b (ChannelT sel m) #
Instance details Defined in Control.Monad.Channel.Internal Methods liftBase :: b α -> ChannelT sel m α #
Monad m => MonadChannel sel (ChannelT sel m) #
Instance details Defined in Control.Monad.Channel.Internal Methods syncOn :: sel i o -> o -> ChannelT sel m i #
MonadTrans (ChannelT sel) #
Instance details Defined in Control.Monad.Channel.Internal Methods lift :: Monad m => m a -> ChannelT sel m a #
MFunctor (ChannelT sel :: (* -> ) -> -> *) #
Instance details Defined in Control.Monad.Channel.Internal Methods hoist :: Monad m => (forall a. m a -> n a) -> ChannelT sel m b -> ChannelT sel n b #
Generic1 (ChannelT sel m :: * -> *) #
Instance details Defined in Control.Monad.Channel.Internal Associated Types type Rep1 (ChannelT sel m) :: k -> * # Methods from1 :: ChannelT sel m a -> Rep1 (ChannelT sel m) a # to1 :: Rep1 (ChannelT sel m) a -> ChannelT sel m a #
Monad m => MonadFree (ChannelF sel) (ChannelT sel m) #
Instance details Defined in Control.Monad.Channel.Internal Methods wrap :: ChannelF sel (ChannelT sel m a) -> ChannelT sel m a #
Monad m => Monad (ChannelT sel m) #
Instance details Defined in Control.Monad.Channel.Internal Methods (>>=) :: ChannelT sel m a -> (a -> ChannelT sel m b) -> ChannelT sel m b # (>>) :: ChannelT sel m a -> ChannelT sel m b -> ChannelT sel m b # return :: a -> ChannelT sel m a # fail :: String -> ChannelT sel m a #
Monad m => Functor (ChannelT sel m) #
Instance details Defined in Control.Monad.Channel.Internal Methods fmap :: (a -> b) -> ChannelT sel m a -> ChannelT sel m b # (<$) :: a -> ChannelT sel m b -> ChannelT sel m a #
Monad m => Applicative (ChannelT sel m) #
Instance details Defined in Control.Monad.Channel.Internal Methods pure :: a -> ChannelT sel m a # (<>) :: ChannelT sel m (a -> b) -> ChannelT sel m a -> ChannelT sel m b # liftA2 :: (a -> b -> c) -> ChannelT sel m a -> ChannelT sel m b -> ChannelT sel m c # (>) :: ChannelT sel m a -> ChannelT sel m b -> ChannelT sel m b # (<*) :: ChannelT sel m a -> ChannelT sel m b -> ChannelT sel m a #
Generic (ChannelT sel m a) #
Instance details Defined in Control.Monad.Channel.Internal Associated Types type Rep (ChannelT sel m a) :: * -> * # Methods from :: ChannelT sel m a -> Rep (ChannelT sel m a) x # to :: Rep (ChannelT sel m a) x -> ChannelT sel m a #
type Rep1 (ChannelT sel m :: * -> *) #
Instance details Defined in Control.Monad.Channel.Internal type Rep1 (ChannelT sel m :: * -> *) = D1 (MetaData "ChannelT" "Control.Monad.Channel.Internal" "ChannelT-0.0.0.7-7p4Xol9L4t1BMbBP9LmLrE" True) (C1 (MetaCons "ChannelT" PrefixI True) (S1 (MetaSel (Just "unChannelT") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 (FreeT (ChannelF sel) m))))
type Rep (ChannelT sel m a) #
Instance details Defined in Control.Monad.Channel.Internal type Rep (ChannelT sel m a) = D1 (MetaData "ChannelT" "Control.Monad.Channel.Internal" "ChannelT-0.0.0.7-7p4Xol9L4t1BMbBP9LmLrE" True) (C1 (MetaCons "ChannelT" PrefixI True) (S1 (MetaSel (Just "unChannelT") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (FreeT (ChannelF sel) m a))))

type Channel sel = ChannelT sel Identity #

class Monad m => MonadChannel (sel :: * -> * -> *) (m :: * -> *) | m -> sel where #

Minimal complete definition

syncOn

Methods

syncOn :: sel i o -> o -> m i #

Instances

Monad m => MonadChannel sel (ChannelT sel m) #
Instance details Defined in Control.Monad.Channel.Internal Methods syncOn :: sel i o -> o -> ChannelT sel m i #

data ChannelF (sel :: * -> * -> *) (x :: *) #

Constructors

SyncChannel
Fields selectorF :: sel i o outputF :: o inputF :: i -> x

Instances

Functor (ChannelF sel) #
Instance details Defined in Control.Monad.Channel.Internal Methods fmap :: (a -> b) -> ChannelF sel a -> ChannelF sel b # (<$) :: a -> ChannelF sel b -> ChannelF sel a #
Monad m => MonadFree (ChannelF sel) (ChannelT sel m) #
Instance details Defined in Control.Monad.Channel.Internal Methods wrap :: ChannelF sel (ChannelT sel m a) -> ChannelT sel m a #

Orphan instances

Functor f => MFunctor (FreeT f :: (* -> ) -> -> *) #
Instance details Methods hoist :: Monad m => (forall a. m a -> n a) -> FreeT f m b -> FreeT f n b #
Generic (FreeT f m a) #
Instance details Associated Types type Rep (FreeT f m a) :: * -> * # Methods from :: FreeT f m a -> Rep (FreeT f m a) x # to :: Rep (FreeT f m a) x -> FreeT f m a #