Safe Haskell	None
Language	GHC2021

MonadicBang.Internal.Effect.Uniques

Synopsis

data Uniques (m :: k) a where
- FreshUnique :: forall {k} (m :: k). Uniques m Unique
freshUnique :: forall (sig :: (Type -> Type) -> Type -> Type) m. Has (Uniques :: (Type -> Type) -> Type -> Type) sig m => m Unique
newtype UniquesC (m :: Type -> Type) a = UniquesC {
- getUniquesState :: StateC UniqSupply m a
}
runUniquesIO :: MonadIO m => Char -> UniquesC m a -> m a
runUniques :: Functor m => UniqSupply -> UniquesC m a -> m a

Documentation

data Uniques (m :: k) a where Source #

Uniques provides arbitrarily many unique GHC Uniques

Constructors

FreshUnique :: forall {k} (m :: k). Uniques m Unique

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 :: (Type -> Type) -> Type -> Type) :+: sig) n a -> ctx () -> UniquesC m (ctx a) #

freshUnique :: forall (sig :: (Type -> Type) -> Type -> Type) m. Has (Uniques :: (Type -> Type) -> Type -> Type) sig m => m Unique Source #

newtype UniquesC (m :: Type -> Type) a Source #

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 :: (Type -> Type) -> Type -> Type) :+: 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