napkin-1.0.0
Safe HaskellNone
LanguageGHC2021

Napkin.HaskellInterpreter.Server

Documentation

data InterpreterState #

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-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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])))))
type Rep InterpreterState # 
Instance details

Defined in Napkin.HaskellInterpreter.Server

type Rep InterpreterState = D1 ('MetaData "InterpreterState" "Napkin.HaskellInterpreter.Server" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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])))))

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

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 #