Control.Flipper.Adapters.Memory

Documentation

newtype FlipperT m a

The FlipperT transformer for in-memory feature switchable computation.

Constructors

FlipperT

Fields

• unFlipperT :: StateT Features m a

Instances

MonadTrans FlipperT

Methods

lift :: Monad m => m a -> FlipperT m a

Monad m => MonadState Features (FlipperT m)

Methods

get :: FlipperT m Features

put :: Features -> FlipperT m ()

state :: (Features -> (a, Features)) -> FlipperT m a

Monad m => Monad (FlipperT m)

Methods

(>>=) :: FlipperT m a -> (a -> FlipperT m b) -> FlipperT m b

(>>) :: FlipperT m a -> FlipperT m b -> FlipperT m b

return :: a -> FlipperT m a

fail :: String -> FlipperT m a

Functor m => Functor (FlipperT m)

Methods

fmap :: (a -> b) -> FlipperT m a -> FlipperT m b

(<$) :: a -> FlipperT m b -> FlipperT m a

Monad m => Applicative (FlipperT m)

Methods

pure :: a -> FlipperT m a

(<*>) :: FlipperT m (a -> b) -> FlipperT m a -> FlipperT m b

(*>) :: FlipperT m a -> FlipperT m b -> FlipperT m b

(<*) :: FlipperT m a -> FlipperT m b -> FlipperT m a

MonadIO m => MonadIO (FlipperT m)

Methods

liftIO :: IO a -> FlipperT m a

Monad m => ModifiesFeatureFlags (FlipperT m)

Methods

updateFeatures :: Features -> FlipperT m ()

updateFeature :: FeatureName -> Feature -> FlipperT m ()

Monad m => HasFeatureFlags (FlipperT m)

Methods

getFeatures :: FlipperT m Features

getFeature :: FeatureName -> FlipperT m (Maybe Feature)

evalFlipperT :: Monad m => Features -> FlipperT m a -> m a

Evaluates a feature-switched computation, returning the final value and discarding the final state of the feature switches.

execFlipperT :: Monad m => Features -> FlipperT m a -> m Features

Executes a feature-switched computation, returning the final state of the feature switches, discarding the final value of the computation.

runFlipperT :: Monad m => Features -> FlipperT m a -> m (a, Features)

Runs a feature-switched computation, returning the final value and state of the feature switches.