Axel.Eff.Ghci

Documentation

data Ghci r where

Constructors

Exec :: Ghci -> String -> Ghci [String]

Start :: Ghci Ghci

Stop :: Ghci -> Ghci ()

stop :: forall effs. Member Ghci effs => Ghci -> Eff effs ()

start :: forall effs. Member Ghci effs => Eff effs Ghci

exec :: forall effs. Member Ghci effs => Ghci -> String -> Eff effs [String]

runEff :: LastMember IO effs => Eff (Ghci ': effs) ~> Eff effs