MonadicBang.Internal.Effect.Uniques

Documentation

data Uniques m a where

Uniques provides arbitrarily many unique GHC Uniques

Constructors

FreshUnique :: Uniques m Unique

Instances

Algebra sig m => Algebra ((Uniques :: (Type -> Type) -> Type -> Type) :+: sig) (UniquesC m)

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)

freshUnique :: Has Uniques sig m => m Unique

newtype UniquesC m a

Constructors

UniquesC

Fields

• getUniquesState :: StateC UniqSupply m a

Instances

Monad m => Applicative (UniquesC m)

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)

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)

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)

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)

runUniquesIO :: MonadIO m => Char -> UniquesC m a -> m 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

runUniques :: Functor m => UniqSupply -> UniquesC m a -> m a