Safe Haskell | None |
---|---|
Language | GHC2024 |
Napkin.HaskellInterpreter.Types
Documentation
type HsEvalResultConstraint (a :: k) = Typeable a #
type ExtraPackages = Set Package #
type BareHints = [GhcArgument] #
type ExtraPackageDbs = [PackageDbPath] #
type DefaultExtensions = Set HaskellExtension #
newtype PackageDbPath #
Constructors
PackageDbPath | |
Instances
Monoid PackageDbPath # | |
Defined in Napkin.HaskellInterpreter.Types Methods mempty :: PackageDbPath # mappend :: PackageDbPath -> PackageDbPath -> PackageDbPath # mconcat :: [PackageDbPath] -> PackageDbPath # | |
Semigroup PackageDbPath # | |
Defined in Napkin.HaskellInterpreter.Types Methods (<>) :: PackageDbPath -> PackageDbPath -> PackageDbPath # sconcat :: NonEmpty PackageDbPath -> PackageDbPath # stimes :: Integral b => b -> PackageDbPath -> PackageDbPath # | |
IsString PackageDbPath # | |
Defined in Napkin.HaskellInterpreter.Types Methods fromString :: String -> PackageDbPath # | |
Show PackageDbPath # | |
Defined in Napkin.HaskellInterpreter.Types Methods showsPrec :: Int -> PackageDbPath -> ShowS # show :: PackageDbPath -> String # showList :: [PackageDbPath] -> ShowS # | |
Eq PackageDbPath # | |
Defined in Napkin.HaskellInterpreter.Types Methods (==) :: PackageDbPath -> PackageDbPath -> Bool # (/=) :: PackageDbPath -> PackageDbPath -> Bool # |
Constructors
Package | |
Fields
|
Constructors
Module | |
Fields
|
Constructors
Function | |
Fields
|
data ModuleFunction #
Constructors
ModuleFunction | |
Instances
FromJSON ModuleFunction # | |
Defined in Napkin.HaskellInterpreter.Types Methods parseJSON :: Value -> Parser ModuleFunction # parseJSONList :: Value -> Parser [ModuleFunction] # | |
Show ModuleFunction # | |
Defined in Napkin.HaskellInterpreter.Types Methods showsPrec :: Int -> ModuleFunction -> ShowS # show :: ModuleFunction -> String # showList :: [ModuleFunction] -> ShowS # | |
Eq ModuleFunction # | |
Defined in Napkin.HaskellInterpreter.Types Methods (==) :: ModuleFunction -> ModuleFunction -> Bool # (/=) :: ModuleFunction -> ModuleFunction -> Bool # |
newtype GhcArgument #
Constructors
GhcArgument | |
Fields
|
Instances
IsString GhcArgument # | |
Defined in Napkin.HaskellInterpreter.Types Methods fromString :: String -> GhcArgument # | |
Show GhcArgument # | |
Defined in Napkin.HaskellInterpreter.Types Methods showsPrec :: Int -> GhcArgument -> ShowS # show :: GhcArgument -> String # showList :: [GhcArgument] -> ShowS # | |
Eq GhcArgument # | |
Defined in Napkin.HaskellInterpreter.Types |
type InterpreterResponseVar a = TMVar (InterpreterResponse a) #
type InterpreterError = InterpreterError #
type InterpreterResponse a = Either InterpreterError a #
data InterpreterRequest #
Constructors
EvalRequest | |
Fields | |
LoadModules | |
Fields
| |
UpdateEnvironment | |
Fields | |
Stop | |
Restart |
Instances
Show InterpreterRequest # | |
Defined in Napkin.HaskellInterpreter.Types Methods showsPrec :: Int -> InterpreterRequest -> ShowS # show :: InterpreterRequest -> String # showList :: [InterpreterRequest] -> ShowS # | |
Eq InterpreterRequest # | |
Defined in Napkin.HaskellInterpreter.Types Methods (==) :: InterpreterRequest -> InterpreterRequest -> Bool # (/=) :: InterpreterRequest -> InterpreterRequest -> Bool # |
data InterpreterEnvironment #
Constructors
InterpreterEnvironment | |
Instances
Show InterpreterEnvironment # | |
Defined in Napkin.HaskellInterpreter.Types Methods showsPrec :: Int -> InterpreterEnvironment -> ShowS # show :: InterpreterEnvironment -> String # showList :: [InterpreterEnvironment] -> ShowS # | |
Eq InterpreterEnvironment # | |
Defined in Napkin.HaskellInterpreter.Types Methods (==) :: InterpreterEnvironment -> InterpreterEnvironment -> Bool # (/=) :: InterpreterEnvironment -> InterpreterEnvironment -> Bool # |
data InterpreterInstance #
Constructors
InterpreterInstance | |
Fields |
newtype HaskellExpression (a :: k) #
Constructors
HaskellExpression String |