napkin-runtime-2.0.0
Safe HaskellNone
LanguageGHC2024

Napkin.HaskellInterpreter.Server

Documentation

data InterpreterAction #

Constructors

InterpreterAction_Continue 
InterpreterAction_Stop InterpreterLoopAction 

data InterpreterLoopAction #

Constructors

InterpreterLoopAction_Restart 
InterpreterLoopAction_Quit 

data InterpreterState #

Constructors

InterpreterState 

Fields

Instances

Instances details
Generic InterpreterState # 
Instance details

Defined in Napkin.HaskellInterpreter.Server

Associated Types

type Rep InterpreterState 
Instance details

Defined in Napkin.HaskellInterpreter.Server

type Rep InterpreterState = D1 ('MetaData "InterpreterState" "Napkin.HaskellInterpreter.Server" "napkin-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" 'False) (C1 ('MetaCons "InterpreterState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "env") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InterpreterEnvironment) :*: S1 ('MetaSel ('Just "loadedModules") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ModuleName))) :*: (S1 ('MetaSel ('Just "requestedModules") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ModuleName)) :*: (S1 ('MetaSel ('Just "ready") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "currentUnqualifiedImports") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Module])))))

Methods

from :: InterpreterState -> Rep InterpreterState x #

to :: Rep InterpreterState x -> InterpreterState #

type Rep InterpreterState # 
Instance details

Defined in Napkin.HaskellInterpreter.Server

type Rep InterpreterState = D1 ('MetaData "InterpreterState" "Napkin.HaskellInterpreter.Server" "napkin-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" 'False) (C1 ('MetaCons "InterpreterState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "env") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InterpreterEnvironment) :*: S1 ('MetaSel ('Just "loadedModules") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ModuleName))) :*: (S1 ('MetaSel ('Just "requestedModules") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ModuleName)) :*: (S1 ('MetaSel ('Just "ready") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "currentUnqualifiedImports") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Module])))))

interpreterArguments :: Set Package -> [GhcArgument] #

initInterpreter :: MonadIO m => LogEnv -> InterpreterEnvironment -> m InterpreterInstance #

startInterpreter :: (MonadIO m, MonadMask m) => LogEnv -> TQueue InterpreterRequest -> InterpreterEnvironment -> m () #

timeLogSince :: (MonadIO m, Katip m) => String -> UTCTime -> m () #

timeCurrent :: MonadIO m => m UTCTime #

showType :: TypeRep -> Text #

Orphan instances

MonadState s m => MonadState s (InterpreterT m) # 
Instance details

Methods

get :: InterpreterT m s #

put :: s -> InterpreterT m () #

state :: (s -> (a, s)) -> InterpreterT m a #