Modulelinear-base-0.8.1

Control.Functor.Linear.Internal.Class

4 classes
10 values

Packagelinear-base-0.8.1
Exports14
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 ()

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