module Effectful.FileSystem.Effect
(
FileSystem
, runFileSystem
) where
import Effectful
import Effectful.Dispatch.Static
data FileSystem :: Effect
type instance DispatchOf FileSystem = Static WithSideEffects
data instance StaticRep FileSystem = FileSystem
runFileSystem :: IOE :> es => Eff (FileSystem : es) a -> Eff es a
runFileSystem :: Eff (FileSystem : es) a -> Eff es a
runFileSystem = StaticRep FileSystem -> Eff (FileSystem : es) a -> Eff es a
forall (e :: (Type -> Type) -> Type -> Type)
(sideEffects :: SideEffects)
(es :: [(Type -> Type) -> Type -> Type]) a.
(DispatchOf e ~ 'Static sideEffects, MaybeIOE sideEffects es) =>
StaticRep e -> Eff (e : es) a -> Eff es a
evalStaticRep StaticRep FileSystem
FileSystem