Modulefs-sim-0.5.0.1Haskell2010

System.FS.Sim.Prim

Mocked, monad transformer-based implementation of the HasFS interface.

1 type
2 values

Packagefs-sim-0.5.0.1
Exports3
LanguageHaskell2010
LicenceApache-2.0
SourcePrim.hs

newtypenewtype FSSimT (m :: Type -> Type) a

Monad transformer that extends a monad m with pure features: (i) MockFS state, and (ii) throwing/catching FsErrors.

Instances7MonadError, MonadState, Monad, Functor, Applicative, PrimMonad, …

Monad m => MonadError FsError (FSSimT m)Defined in fs-sim-0.5.0.1 · System.FS.Sim.Prim
Monad m => MonadState MockFS (FSSimT m)Defined in fs-sim-0.5.0.1 · System.FS.Sim.Prim
Monad m => Monad (FSSimT m)Defined in fs-sim-0.5.0.1 · System.FS.Sim.Prim
Functor m => Functor (FSSimT m)Defined in fs-sim-0.5.0.1 · System.FS.Sim.Prim
Monad m => Applicative (FSSimT m)Defined in fs-sim-0.5.0.1 · System.FS.Sim.Prim
PrimMonad m => PrimMonad (FSSimT m)Defined in fs-sim-0.5.0.1 · System.FS.Sim.Prim
type PrimState (FSSimT m) = PrimState (StateT MockFS (ExceptT FsError m))Defined in fs-sim-0.5.0.1 · System.FS.Sim.Prim

valuerunFSSimT :: FSSimT m a -> MockFS -> m (Either FsError (a, MockFS))

valueprimHasMockFS :: PrimMonad m => HasFS (FSSimT m) HandleMock

Mocked, monad transformer-based implementation of the HasFS interface.

This implementation is pure when running in a monad m that is ST.

This implementation runs in a primitive monad m extended with an FSSimT monad transformer. It is recommended to use simHasFS or simErrorHasFS instead because they hide the monad transformer. The caveat is that m should be IO-like.