Safe Haskell	Safe-Inferred
Language	GHC2021

MonadicBang.Internal.Effect.Uniques

Synopsis

Documentation

data Uniques m a where Source #

Uniques provides arbitrarily many unique GHC Uniques

Constructors

Instances details

Algebra sig m => Algebra ((Uniques :: (Type -> Type) -> Type -> Type) :+: sig) (UniquesC m) Source #
Instance details Defined in MonadicBang.Internal.Effect.Uniques Methods alg :: forall ctx (n :: Type -> Type) a. Functor ctx => Handler ctx n (UniquesC m) -> (Uniques :+: sig) n a -> ctx () -> UniquesC m (ctx a) #

Constructors

UniquesC
Fields getUniquesState :: StateC UniqSupply m a

Instances details

Monad m => Applicative (UniquesC m) Source #
Instance details Defined in MonadicBang.Internal.Effect.Uniques Methods pure :: a -> UniquesC m a # (<>) :: UniquesC m (a -> b) -> UniquesC m a -> UniquesC m b # liftA2 :: (a -> b -> c) -> UniquesC m a -> UniquesC m b -> UniquesC m c # (>) :: UniquesC m a -> UniquesC m b -> UniquesC m b # (<*) :: UniquesC m a -> UniquesC m b -> UniquesC m a #
Functor m => Functor (UniquesC m) Source #
Instance details Defined in MonadicBang.Internal.Effect.Uniques Methods fmap :: (a -> b) -> UniquesC m a -> UniquesC m b # (<$) :: a -> UniquesC m b -> UniquesC m a #
Monad m => Monad (UniquesC m) Source #
Instance details Defined in MonadicBang.Internal.Effect.Uniques Methods (>>=) :: UniquesC m a -> (a -> UniquesC m b) -> UniquesC m b # (>>) :: UniquesC m a -> UniquesC m b -> UniquesC m b # return :: a -> UniquesC m a #
Algebra sig m => Algebra ((Uniques :: (Type -> Type) -> Type -> Type) :+: sig) (UniquesC m) Source #
Instance details Defined in MonadicBang.Internal.Effect.Uniques Methods alg :: forall ctx (n :: Type -> Type) a. Functor ctx => Handler ctx n (UniquesC m) -> (Uniques :+: sig) n a -> ctx () -> UniquesC m (ctx a) #

The "mask" (Char) supplied is purely cosmetic, making it easier to figure out where a Unique was born.

See Note [Uniques for wired-in prelude things and known masks] in GHC.Builtin.Uniques