Safe Haskell	None
Language	GHC2024

Napkin.HaskellInterpreter.Types

Documentation

moduleFunctionToText :: ModuleFunction -> Text #

mwhen :: Monoid m => Bool -> m -> m #

type BareHints = [GhcArgument] #

type DefaultExtensions = Set HaskellExtension #

type ExtraPackageDbs = [PackageDbPath] #

type ExtraPackages = Set Package #

newtype Function #

Constructors

Function
Fields functionName :: Text

Instances

Instances details

IsString Function #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods fromString :: String -> Function #
Show Function #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods showsPrec :: Int -> Function -> ShowS # show :: Function -> String # showList :: [Function] -> ShowS #
Eq Function #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods (==) :: Function -> Function -> Bool # (/=) :: Function -> Function -> Bool #
Ord Function #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods compare :: Function -> Function -> Ordering # (<) :: Function -> Function -> Bool # (<=) :: Function -> Function -> Bool # (>) :: Function -> Function -> Bool # (>=) :: Function -> Function -> Bool # max :: Function -> Function -> Function # min :: Function -> Function -> Function #

newtype GhcArgument #

Constructors

GhcArgument
Fields ghcArgument :: Text

Instances

Instances details

IsString GhcArgument #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods fromString :: String -> GhcArgument #
Show GhcArgument #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods showsPrec :: Int -> GhcArgument -> ShowS # show :: GhcArgument -> String # showList :: [GhcArgument] -> ShowS #
Eq GhcArgument #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods (==) :: GhcArgument -> GhcArgument -> Bool # (/=) :: GhcArgument -> GhcArgument -> Bool #

newtype HaskellExpression (a :: k) #

Constructors

HaskellExpression String

type HsEvalResultConstraint (a :: k) = Typeable a #

data InterpreterEnvironment #

Constructors

InterpreterEnvironment
Fields searchPaths :: Set FilePath extraPackages :: ExtraPackages extraDefaultExtensions :: DefaultExtensions interpretationMode :: InterpretationMode

Instances

Instances details

Show InterpreterEnvironment #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods showsPrec :: Int -> InterpreterEnvironment -> ShowS # show :: InterpreterEnvironment -> String # showList :: [InterpreterEnvironment] -> ShowS #
Eq InterpreterEnvironment #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods (==) :: InterpreterEnvironment -> InterpreterEnvironment -> Bool # (/=) :: InterpreterEnvironment -> InterpreterEnvironment -> Bool #

type InterpreterError = InterpreterError #

data InterpreterInstance #

Constructors

InterpreterInstance
Fields queue :: TQueue InterpreterRequest threadId :: ThreadId

data InterpreterRequest #

Constructors

EvalRequest
Fields expression :: String resultType :: TypeRep unqualifiedImports :: Set Module evalResponseVar :: InterpreterResponseVar Any
LoadModules
Fields modules :: Set Module loadModulesResponseVal :: InterpreterResponseVar () append :: Bool forceReload :: Bool
UpdateEnvironment
Fields newEnvironment :: InterpreterEnvironment
Stop
Restart

Instances

Instances details

Show InterpreterRequest #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods showsPrec :: Int -> InterpreterRequest -> ShowS # show :: InterpreterRequest -> String # showList :: [InterpreterRequest] -> ShowS #
Eq InterpreterRequest #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods (==) :: InterpreterRequest -> InterpreterRequest -> Bool # (/=) :: InterpreterRequest -> InterpreterRequest -> Bool #

type InterpreterResponse a = Either InterpreterError a #

type InterpreterResponseVar a = TMVar (InterpreterResponse a) #

newtype Module #

Constructors

Module
Fields moduleName :: Text

Instances

Instances details

FromJSON Module #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods parseJSON :: Value -> Parser Module # parseJSONList :: Value -> Parser [Module] # omittedField :: Maybe Module #
IsString Module #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods fromString :: String -> Module #
Show Module #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods showsPrec :: Int -> Module -> ShowS # show :: Module -> String # showList :: [Module] -> ShowS #
Eq Module #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods (==) :: Module -> Module -> Bool # (/=) :: Module -> Module -> Bool #
Ord Module #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods compare :: Module -> Module -> Ordering # (<) :: Module -> Module -> Bool # (<=) :: Module -> Module -> Bool # (>) :: Module -> Module -> Bool # (>=) :: Module -> Module -> Bool # max :: Module -> Module -> Module # min :: Module -> Module -> Module #

data ModuleFunction #

Constructors

ModuleFunction
Fields module_ :: Module function :: Function

Instances

Instances details

FromJSON ModuleFunction #

Instance details

Defined in Napkin.HaskellInterpreter.Types

Methods

parseJSON :: Value -> Parser ModuleFunction #

parseJSONList :: Value -> Parser [ModuleFunction] #

omittedField :: Maybe ModuleFunction #

Generic ModuleFunction #

Instance details

Defined in Napkin.HaskellInterpreter.Types

Associated Types

type Rep ModuleFunction

Instance details

Defined in Napkin.HaskellInterpreter.Types

type Rep ModuleFunction = D1 ('MetaData "ModuleFunction" "Napkin.HaskellInterpreter.Types" "napkin-runtime-2.0.0-5GLbAKEN1Yk29rxMrGR38M" 'False) (C1 ('MetaCons "ModuleFunction" 'PrefixI 'True) (S1 ('MetaSel ('Just "module_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Module) :*: S1 ('MetaSel ('Just "function") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Function)))

Methods

from :: ModuleFunction -> Rep ModuleFunction x #

to :: Rep ModuleFunction x -> ModuleFunction #

Show ModuleFunction #

Instance details

Defined in Napkin.HaskellInterpreter.Types

Methods

showsPrec :: Int -> ModuleFunction -> ShowS #

show :: ModuleFunction -> String #

showList :: [ModuleFunction] -> ShowS #

Eq ModuleFunction #

Instance details

Defined in Napkin.HaskellInterpreter.Types

Methods

(==) :: ModuleFunction -> ModuleFunction -> Bool #

(/=) :: ModuleFunction -> ModuleFunction -> Bool #

Ord ModuleFunction #

Instance details

Defined in Napkin.HaskellInterpreter.Types

Methods

compare :: ModuleFunction -> ModuleFunction -> Ordering #

(<) :: ModuleFunction -> ModuleFunction -> Bool #

(<=) :: ModuleFunction -> ModuleFunction -> Bool #

(>) :: ModuleFunction -> ModuleFunction -> Bool #

(>=) :: ModuleFunction -> ModuleFunction -> Bool #

max :: ModuleFunction -> ModuleFunction -> ModuleFunction #

min :: ModuleFunction -> ModuleFunction -> ModuleFunction #

type Rep ModuleFunction #

Instance details

Defined in Napkin.HaskellInterpreter.Types

type Rep ModuleFunction = D1 ('MetaData "ModuleFunction" "Napkin.HaskellInterpreter.Types" "napkin-runtime-2.0.0-5GLbAKEN1Yk29rxMrGR38M" 'False) (C1 ('MetaCons "ModuleFunction" 'PrefixI 'True) (S1 ('MetaSel ('Just "module_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Module) :*: S1 ('MetaSel ('Just "function") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Function)))

newtype Package #

Constructors

Package
Fields packageName :: Text

Instances

Instances details

FromJSON Package #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods parseJSON :: Value -> Parser Package # parseJSONList :: Value -> Parser [Package] # omittedField :: Maybe Package #
IsString Package #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods fromString :: String -> Package #
Show Package #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods showsPrec :: Int -> Package -> ShowS # show :: Package -> String # showList :: [Package] -> ShowS #
Eq Package #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods (==) :: Package -> Package -> Bool # (/=) :: Package -> Package -> Bool #
Ord Package #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods compare :: Package -> Package -> Ordering # (<) :: Package -> Package -> Bool # (<=) :: Package -> Package -> Bool # (>) :: Package -> Package -> Bool # (>=) :: Package -> Package -> Bool # max :: Package -> Package -> Package # min :: Package -> Package -> Package #

newtype PackageDbPath #

Constructors

PackageDbPath
Fields pkgDbDir :: FilePath

Instances

Instances details

Monoid PackageDbPath #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods mempty :: PackageDbPath # mappend :: PackageDbPath -> PackageDbPath -> PackageDbPath # mconcat :: [PackageDbPath] -> PackageDbPath #
Semigroup PackageDbPath #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods (<>) :: PackageDbPath -> PackageDbPath -> PackageDbPath # sconcat :: NonEmpty PackageDbPath -> PackageDbPath # stimes :: Integral b => b -> PackageDbPath -> PackageDbPath #
IsString PackageDbPath #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods fromString :: String -> PackageDbPath #
Show PackageDbPath #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods showsPrec :: Int -> PackageDbPath -> ShowS # show :: PackageDbPath -> String # showList :: [PackageDbPath] -> ShowS #
Eq PackageDbPath #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods (==) :: PackageDbPath -> PackageDbPath -> Bool # (/=) :: PackageDbPath -> PackageDbPath -> Bool #

newtype Typed (r :: k) a #

Constructors

Typed
Fields unTyped :: a

Instances

Instances details

FromJSON a => FromJSON (Typed r a) #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods parseJSON :: Value -> Parser (Typed r a) # parseJSONList :: Value -> Parser [Typed r a] # omittedField :: Maybe (Typed r a) #
Show a => Show (Typed r a) #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods showsPrec :: Int -> Typed r a -> ShowS # show :: Typed r a -> String # showList :: [Typed r a] -> ShowS #
Eq a => Eq (Typed r a) #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods (==) :: Typed r a -> Typed r a -> Bool # (/=) :: Typed r a -> Typed r a -> Bool #

module Napkin.HaskellInterpreter.HaskellExtension