Module

Control.Eff.IO

Package
purescript-effectful
Repository
the-dr-lazy/purescript-effectful

#IOF Source

newtype IOF :: Algebranewtype IOF m a

Constructors

Instances

#IO Source

type IO :: Row Algebra -> Row Algebratype IO r = (io :: IOF | r)

#tag Source

tag :: Proxy @Symbol "io"

#run Source

run :: forall r. (Eff (IO + r)) ~> (Eff r)

#Lift Source

class Lift :: (Type -> Type) -> Constraintclass Lift m  where

Members

Instances