Safe Haskell	Trustworthy
Language	Haskell2010

GHC.Internal.Data.Functor.Utils

Synopsis

newtype Max a = Max {
- getMax :: Maybe a
}
newtype Min a = Min {
- getMin :: Maybe a
}
newtype StateL s a = StateL {
- runStateL :: s -> (s, a)
}
newtype StateR s a = StateR {
- runStateR :: s -> (s, a)
}
newtype StateT s (m :: Type -> Type) a = StateT {
- runStateT :: s -> m (s, a)
}
(#.) :: Coercible b c => (b -> c) -> (a -> b) -> a -> c

Documentation

newtype Max a Source #

Constructors

Max
Fields getMax :: Maybe a

Instances

Instances details

Ord a => Monoid (Max a) Source #	Since: base-4.8.0.0
Instance details Defined in GHC.Internal.Data.Functor.Utils Methods mempty :: Max a Source # mappend :: Max a -> Max a -> Max a Source # mconcat :: [Max a] -> Max a Source #
Ord a => Semigroup (Max a) Source #	Since: base-4.11.0.0
Instance details Defined in GHC.Internal.Data.Functor.Utils Methods (<>) :: Max a -> Max a -> Max a Source # sconcat :: NonEmpty (Max a) -> Max a Source # stimes :: Integral b => b -> Max a -> Max a Source #

newtype Min a Source #

Constructors

Min
Fields getMin :: Maybe a

Instances

Instances details

Ord a => Monoid (Min a) Source #	Since: base-4.8.0.0
Instance details Defined in GHC.Internal.Data.Functor.Utils Methods mempty :: Min a Source # mappend :: Min a -> Min a -> Min a Source # mconcat :: [Min a] -> Min a Source #
Ord a => Semigroup (Min a) Source #	Since: base-4.11.0.0
Instance details Defined in GHC.Internal.Data.Functor.Utils Methods (<>) :: Min a -> Min a -> Min a Source # sconcat :: NonEmpty (Min a) -> Min a Source # stimes :: Integral b => b -> Min a -> Min a Source #

newtype StateL s a Source #

Constructors

StateL
Fields runStateL :: s -> (s, a)

Instances

Instances details

Applicative (StateL s) Source #	Since: base-4.0
Instance details Defined in GHC.Internal.Data.Functor.Utils Methods pure :: a -> StateL s a Source # (<>) :: StateL s (a -> b) -> StateL s a -> StateL s b Source # liftA2 :: (a -> b -> c) -> StateL s a -> StateL s b -> StateL s c Source # (>) :: StateL s a -> StateL s b -> StateL s b Source # (<*) :: StateL s a -> StateL s b -> StateL s a Source #
Functor (StateL s) Source #	Since: base-4.0
Instance details Defined in GHC.Internal.Data.Functor.Utils Methods fmap :: (a -> b) -> StateL s a -> StateL s b Source # (<$) :: a -> StateL s b -> StateL s a Source #

newtype StateR s a Source #

Constructors

StateR
Fields runStateR :: s -> (s, a)

Instances

Instances details

Applicative (StateR s) Source #	Since: base-4.0
Instance details Defined in GHC.Internal.Data.Functor.Utils Methods pure :: a -> StateR s a Source # (<>) :: StateR s (a -> b) -> StateR s a -> StateR s b Source # liftA2 :: (a -> b -> c) -> StateR s a -> StateR s b -> StateR s c Source # (>) :: StateR s a -> StateR s b -> StateR s b Source # (<*) :: StateR s a -> StateR s b -> StateR s a Source #
Functor (StateR s) Source #	Since: base-4.0
Instance details Defined in GHC.Internal.Data.Functor.Utils Methods fmap :: (a -> b) -> StateR s a -> StateR s b Source # (<$) :: a -> StateR s b -> StateR s a Source #

newtype StateT s (m :: Type -> Type) a Source #

A state transformer monad parameterized by the state and inner monad. The implementation is copied from the transformers package with the return tuple swapped.

Since: base-4.18.0.0

Constructors

StateT
Fields runStateT :: s -> m (s, a)

Instances

Instances details

Monad m => Applicative (StateT s m) Source #	Since: base-4.18.0.0
Instance details Defined in GHC.Internal.Data.Functor.Utils Methods pure :: a -> StateT s m a Source # (<>) :: StateT s m (a -> b) -> StateT s m a -> StateT s m b Source # liftA2 :: (a -> b -> c) -> StateT s m a -> StateT s m b -> StateT s m c Source # (>) :: StateT s m a -> StateT s m b -> StateT s m b Source # (<*) :: StateT s m a -> StateT s m b -> StateT s m a Source #
Monad m => Functor (StateT s m) Source #	Since: base-4.18.0.0
Instance details Defined in GHC.Internal.Data.Functor.Utils Methods fmap :: (a -> b) -> StateT s m a -> StateT s m b Source # (<$) :: a -> StateT s m b -> StateT s m a Source #
Monad m => Monad (StateT s m) Source #	Since: base-4.18.0.0
Instance details Defined in GHC.Internal.Data.Functor.Utils Methods (>>=) :: StateT s m a -> (a -> StateT s m b) -> StateT s m b Source # (>>) :: StateT s m a -> StateT s m b -> StateT s m b Source # return :: a -> StateT s m a Source #

(#.) :: Coercible b c => (b -> c) -> (a -> b) -> a -> c Source #