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
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 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 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 #

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 #

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 #
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 #

moduleFunctionToText :: ModuleFunction -> Text #

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 #

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 #

type InterpreterResponseVar a = TMVar (InterpreterResponse a) #

type InterpreterError = InterpreterError #

type InterpreterResponse a = Either InterpreterError a #

data InterpreterRequest #

Constructors

EvalRequest
Fields expression :: String resultType :: TypeRep unqualifiedImports :: [Module] evalResponseVar :: InterpreterResponseVar Any
LoadModules
Fields modules :: [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 #

data InterpreterEnvironment #

Constructors

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

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 #

data InterpreterInstance #

Constructors

InterpreterInstance
Fields queue :: TQueue InterpreterRequest threadId :: ThreadId

newtype HaskellExpression (a :: k) #

Constructors

HaskellExpression String

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