Modulelinear-base-0.8.1

Control.Functor.Linear

Synopsis

value <$
value <$>
value <&>
value ap
value dataFmapDefault
value dataPureDefault
value foldM
value join
value return
value void
value ask
value asks
value local
value mapReader
value mapReaderT
value reader
value runReader
value runReaderT
value withReader
value withReaderT
value evalState
value evalStateT
value execState
value execStateT
value get
value gets
value mapState
value mapStateT
value modify
value put
value runState
value runStateT
value state
value withState
value withStateT
class Applicative
class Functor
class Monad
class MonadFail
newtype Data
class MonadTrans
type Reader
newtype ReaderT
type State
newtype StateT

Packagelinear-base-0.8.1
Exports45
LicenceMIT

value(<$) :: (Functor f, Consumable b) => a %1 -> f b %1 -> f a

value(<$>) :: Functor f => (a %1 -> b) %1 -> f a %1 -> f b

value(<&>) :: Functor f => f a %1 -> (a %1 -> b) %1 -> f b

valueap :: Monad m => m (a %1 -> b) %1 -> m a %1 -> m b

valuedataFmapDefault :: Functor f => (a %1 -> b) -> f a %1 -> f b

valuedataPureDefault :: Applicative f => a -> f a

valuefoldM :: Monad m => (b %1 -> a %1 -> m b) -> b %1 -> [a] %1 -> m b

valuejoin :: Monad m => m (m a) %1 -> m a

valuereturn :: Monad m => a %1 -> m a

valuevoid :: (Functor f, Consumable a) => f a %1 -> f ()

valueask :: Applicative m => ReaderT r m r

valueasks :: Monad m => (r %1 -> a) %1 -> ReaderT r m a

valuelocal :: (r %1 -> r) %1 -> ReaderT r m a %1 -> ReaderT r m a

valuemapReader :: (a %1 -> b) %1 -> Reader r a %1 -> Reader r b

valuemapReaderT :: (m a %1 -> n b) %1 -> ReaderT r m a %1 -> ReaderT r n b

valuereader :: Monad m => (r %1 -> a) %1 -> ReaderT r m a

valuerunReader :: Reader r a %1 -> r %1 -> a

valuerunReaderT :: ReaderT r m a %1 -> r %1 -> m a

valuewithReader :: (r' %1 -> r) %1 -> Reader r a %1 -> Reader r' a

valuewithReaderT :: (r' %1 -> r) %1 -> ReaderT r m a %1 -> ReaderT r' m a

valueevalState :: Consumable s => State s a %1 -> s %1 -> a

valueevalStateT :: (Functor m, Consumable s) => StateT s m a %1 -> s %1 -> m a

valueexecState :: State s () %1 -> s %1 -> s

valueexecStateT :: Functor m => StateT s m () %1 -> s %1 -> m s

valueget :: (Applicative m, Dupable s) => StateT s m s

valuegets :: (Applicative m, Dupable s) => (s %1 -> a) %1 -> StateT s m a

valuemapState :: ((a, s) %1 -> (b, s)) %1 -> State s a %1 -> State s b

valuemapStateT :: (m (a, s) %1 -> n (b, s)) %1 -> StateT s m a %1 -> StateT s n b

valuemodify :: Applicative m => (s %1 -> s) %1 -> StateT s m ()

valueput :: (Applicative m, Consumable s) => s %1 -> StateT s m ()

valuerunState :: State s a %1 -> s %1 -> (a, s)

valuerunStateT :: StateT s m a %1 -> s %1 -> m (a, s)

valuestate :: Applicative m => (s %1 -> (a, s)) %1 -> StateT s m a

valuewithState :: (s %1 -> s) %1 -> State s a %1 -> State s a

valuewithStateT :: (s %1 -> s) %1 -> StateT s m a %1 -> StateT s m a

classclass (Applicative f, Functor f) => Applicative (f :: Type -> Type) where

Methods

pure :: a %1 -> f a
(<*>) :: f (a %1 -> b) %1 -> f a %1 -> f binfixl 4
liftA2 :: (a %1 -> b %1 -> c) %1 -> f a %1 -> f b %1 -> f c

Instances14Applicative, …

Applicative IdentityDefined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
Applicative IODefined in linear-base-0.8.1 · System.IO.Linear
Applicative RIODefined in linear-base-0.8.1 · System.IO.Resource.Linear.Internal
Applicative (StateR s)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Applicative f => Applicative (Yoneda f)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan
Monoid a => Applicative (Tuple2 a)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
Applicative m => Applicative (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader · orphan
Monad m => Applicative (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
(Applicative m, Dupable r) => Applicative (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
(Functor g, g ~ h) => Applicative (Curried g h)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan
(Functor m, Functor f) => Applicative (Stream f m)Defined in linear-base-0.8.1 · Streaming.Linear.Internal.Type
(Monoid a, Monoid b) => Applicative (Tuple3 a b)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
(Monoid a, Monoid b, Monoid c) => Applicative (Tuple4 a b c)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
Dupable r => Applicative (FUN 'One r)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader · orphan

classclass Functor f => Functor (f :: Type -> Type) where

Methods

fmap :: (a %1 -> b) %1 -> f a %1 -> f b

Instances25Functor, …

Functor IdentityDefined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
Functor Par1Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
Functor IODefined in linear-base-0.8.1 · System.IO.Linear
Functor RIODefined in linear-base-0.8.1 · System.IO.Resource.Linear.Internal
Functor (Tuple2 a)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
Functor (Yoneda f)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan
Functor (StateR s)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Functor (Of a)Defined in linear-base-0.8.1 · Streaming.Linear.Internal.Type
Functor (Tuple3 a b)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
Functor g => Functor (Curried g h)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan
Functor m => Functor (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
Functor m => Functor (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
Functor m => Functor (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader · orphan
Functor m => Functor (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State · orphan
(Functor m, Functor f) => Functor (Stream f m)Defined in linear-base-0.8.1 · Streaming.Linear.Internal.Type
(Generic1 f, Functor (Rep1 f)) => Functor (Generically1 f)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
Functor (Tuple4 a b c)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
(Functor f, Functor g) => Functor (Sum f g)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
(Functor l, Functor r) => Functor (l :+: r)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
(Functor l, Functor r, EitherNoPar1 b1 b2 l r) => Functor (l :*: r)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
Functor (FUN 'One a)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
Functor (Tuple5 a b c d)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
Functor f => Functor (M1 j c f)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
(Functor f, Functor g) => Functor (Compose f g)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
(Functor f, Functor g) => Functor (f :.: g)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class

classclass Applicative m => Monad (m :: Type -> Type) where

Methods

(>>=) :: m a %1 -> (a %1 -> m b) %1 -> m binfixl 1
(>>) :: m () %1 -> m a %1 -> m ainfixl 1

Instances9Monad, …

Monad IdentityDefined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
Monad IODefined in linear-base-0.8.1 · System.IO.Linear
Monad RIODefined in linear-base-0.8.1 · System.IO.Resource.Linear.Internal
Monoid a => Monad (Tuple2 a)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Class
Monad m => Monad (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
Monad m => Monad (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader · orphan
(Functor m, Functor f) => Monad (Stream f m)Defined in linear-base-0.8.1 · Streaming.Linear.Internal.Type
(Monad m, Dupable r) => Monad (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
Dupable r => Monad (FUN 'One r)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader · orphan

classclass Monad m => MonadFail (m :: Type -> Type) where

Methods

fail :: String -> m a

newtypenewtype Data (f :: Type -> Type) a

Constructors

Data (f a)

Instances2Functor, Applicative

Functor f => Functor (Data f)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Instances
Applicative f => Applicative (Data f)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Instances

classclass (forall (m :: Type -> Type). Monad m => Monad (t m)) => MonadTrans (t :: (Type -> Type) -> Type -> Type) where

Methods

lift :: Monad m => m a %1 -> t m a

Instances4MonadTrans

Functor f => MonadTrans (Stream f)Defined in linear-base-0.8.1 · Streaming.Linear.Internal.Type
MonadTrans (StateT s)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
MonadTrans (ReaderT r)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader · orphan
Dupable r => MonadTrans (ReaderT r)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader

typetype Reader r = ReaderT r Identity

newtypenewtype ReaderT r (m :: Type -> Type) a

Constructors

ReaderT (r %1 -> m a)

Instances7MonadTrans, Monad, Functor, Applicative, MonadIO, …

Dupable r => MonadTrans (ReaderT r)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
(Applicative m, Dupable r) => Applicative (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
Functor m => Functor (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
(Monad m, Dupable r) => Monad (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
Functor m => Functor (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
(Applicative m, Dupable r) => Applicative (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
(MonadIO m, Dupable r) => MonadIO (ReaderT r m)Defined in linear-base-0.8.1 · Control.Monad.IO.Class.Linear

typetype State s = StateT s Identity

newtypenewtype StateT s (m :: Type -> Type) a

Constructors

StateT (s %1 -> m (a, s))

Instances7MonadTrans, Monad, Functor, Applicative, MonadIO, …

MonadTrans (StateT s)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
Monad m => Applicative (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
Functor m => Functor (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
Monad m => Monad (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
Functor m => Functor (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
Monad m => Applicative (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
MonadIO m => MonadIO (StateT s m)Defined in linear-base-0.8.1 · Control.Monad.IO.Class.Linear