Moduleghc-internal-9.1003.0Haskell2010

GHC.Internal.Data.Functor.Utils

5 types
1 value

Packageghc-internal-9.1003.0
Exports6
LanguageHaskell2010
LicenceBSD-3-Clause
SourceUtils.hs

newtypenewtype Max a

Constructors

Max
- getMax :: Maybe a

Instances2Semigroup, Monoid

Ord a => Semigroup (Max a)Defined in ghc-internal-9.1003.0 · GHC.Internal.Data.Functor.Utils
Ord a => Monoid (Max a)Defined in ghc-internal-9.1003.0 · GHC.Internal.Data.Functor.Utils

newtypenewtype Min a

Constructors

Min
- getMin :: Maybe a

Instances2Semigroup, Monoid

Ord a => Semigroup (Min a)Defined in ghc-internal-9.1003.0 · GHC.Internal.Data.Functor.Utils
Ord a => Monoid (Min a)Defined in ghc-internal-9.1003.0 · GHC.Internal.Data.Functor.Utils

newtypenewtype StateL s a

Constructors

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

Instances2Functor, Applicative

Functor (StateL s)Defined in ghc-internal-9.1003.0 · GHC.Internal.Data.Functor.Utils
Applicative (StateL s)Defined in ghc-internal-9.1003.0 · GHC.Internal.Data.Functor.Utils

newtypenewtype StateR s a

Constructors

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

Instances2Functor, Applicative

Functor (StateR s)Defined in ghc-internal-9.1003.0 · GHC.Internal.Data.Functor.Utils
Applicative (StateR s)Defined in ghc-internal-9.1003.0 · GHC.Internal.Data.Functor.Utils

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

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

Constructors

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

Instances3Monad, Functor, Applicative

Monad m => Monad (StateT s m)Defined in ghc-internal-9.1003.0 · GHC.Internal.Data.Functor.Utils
Monad m => Functor (StateT s m)Defined in ghc-internal-9.1003.0 · GHC.Internal.Data.Functor.Utils
Monad m => Applicative (StateT s m)Defined in ghc-internal-9.1003.0 · GHC.Internal.Data.Functor.Utils

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