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