Parsley.Internal.Common.Fresh

Documentation

data VFreshT x m a

Instances

Monad m => RunFreshT x m (VFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

runFreshT :: VFreshT x m a -> x -> m (a, x)

MonadState s m => MonadState s (VFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

get :: VFreshT x m s

put :: s -> VFreshT x m ()

state :: (s -> (a, s)) -> VFreshT x m a

MonadReader r m => MonadReader r (VFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

ask :: VFreshT x m r

local :: (r -> r) -> VFreshT x m a -> VFreshT x m a

reader :: (r -> a) -> VFreshT x m a

(Monad m, Ord x, Enum x) => MonadFresh x (VFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

newVar :: VFreshT x m x

newScope :: VFreshT x m a -> VFreshT x m a

MonadTrans (VFreshT x)

Defined in Parsley.Internal.Common.Fresh

Methods

lift :: Monad m => m a -> VFreshT x m a

Monad m => Monad (VFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

(>>=) :: VFreshT x m a -> (a -> VFreshT x m b) -> VFreshT x m b

(>>) :: VFreshT x m a -> VFreshT x m b -> VFreshT x m b

return :: a -> VFreshT x m a

Functor m => Functor (VFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

fmap :: (a -> b) -> VFreshT x m a -> VFreshT x m b

(<$) :: a -> VFreshT x m b -> VFreshT x m a

MonadFix m => MonadFix (VFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

mfix :: (a -> VFreshT x m a) -> VFreshT x m a

Monad m => Applicative (VFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

pure :: a -> VFreshT x m a

(<*>) :: VFreshT x m (a -> b) -> VFreshT x m a -> VFreshT x m b

liftA2 :: (a -> b -> c) -> VFreshT x m a -> VFreshT x m b -> VFreshT x m c

(*>) :: VFreshT x m a -> VFreshT x m b -> VFreshT x m b

(<*) :: VFreshT x m a -> VFreshT x m b -> VFreshT x m a

MonadIO m => MonadIO (VFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

liftIO :: IO a -> VFreshT x m a

data HFreshT x m a

Instances

Monad m => RunFreshT x m (HFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

runFreshT :: HFreshT x m a -> x -> m (a, x)

MonadState s m => MonadState s (HFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

get :: HFreshT x m s

put :: s -> HFreshT x m ()

state :: (s -> (a, s)) -> HFreshT x m a

MonadReader r m => MonadReader r (HFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

ask :: HFreshT x m r

local :: (r -> r) -> HFreshT x m a -> HFreshT x m a

reader :: (r -> a) -> HFreshT x m a

(Monad m, Ord x, Enum x) => MonadFresh x (HFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

newVar :: HFreshT x m x

newScope :: HFreshT x m a -> HFreshT x m a

MonadTrans (HFreshT x)

Defined in Parsley.Internal.Common.Fresh

Methods

lift :: Monad m => m a -> HFreshT x m a

Monad m => Monad (HFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

(>>=) :: HFreshT x m a -> (a -> HFreshT x m b) -> HFreshT x m b

(>>) :: HFreshT x m a -> HFreshT x m b -> HFreshT x m b

return :: a -> HFreshT x m a

Functor m => Functor (HFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

fmap :: (a -> b) -> HFreshT x m a -> HFreshT x m b

(<$) :: a -> HFreshT x m b -> HFreshT x m a

MonadFix m => MonadFix (HFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

mfix :: (a -> HFreshT x m a) -> HFreshT x m a

Monad m => Applicative (HFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

pure :: a -> HFreshT x m a

(<*>) :: HFreshT x m (a -> b) -> HFreshT x m a -> HFreshT x m b

liftA2 :: (a -> b -> c) -> HFreshT x m a -> HFreshT x m b -> HFreshT x m c

(*>) :: HFreshT x m a -> HFreshT x m b -> HFreshT x m b

(<*) :: HFreshT x m a -> HFreshT x m b -> HFreshT x m a

MonadIO m => MonadIO (HFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

liftIO :: IO a -> HFreshT x m a

type VFresh x = VFreshT x Identity

type HFresh x = HFreshT x Identity

runFreshT :: RunFreshT x n m => m a -> x -> n (a, x)

runFresh :: RunFreshT x Identity m => m a -> x -> (a, x)

evalFreshT :: RunFreshT x n m => m a -> x -> n a

evalFresh :: RunFreshT x Identity m => m a -> x -> a

execFreshT :: RunFreshT x n m => m a -> x -> n x

execFresh :: RunFreshT x Identity m => m a -> x -> x

class Monad m => MonadFresh x m | m -> x where

Methods

newVar :: m x

newScope :: m a -> m a

Instances

(Monad m, Ord x, Enum x) => MonadFresh x (HFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

newVar :: HFreshT x m x

newScope :: HFreshT x m a -> HFreshT x m a

(Monad m, Ord x, Enum x) => MonadFresh x (VFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

newVar :: VFreshT x m x

newScope :: VFreshT x m a -> VFreshT x m a

construct :: MonadFresh x m => (x -> a) -> m a

mapVFreshT :: (m (a, x, x) -> n (b, x, x)) -> VFreshT x m a -> VFreshT x n b

class (Monad n, Monad m) => RunFreshT x n m | m -> x, m -> n

Minimal complete definition

runFreshT

Instances

Monad m => RunFreshT x m (HFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

runFreshT :: HFreshT x m a -> x -> m (a, x)

Monad m => RunFreshT x m (VFreshT x m)

Defined in Parsley.Internal.Common.Fresh

Methods

runFreshT :: VFreshT x m a -> x -> m (a, x)