Copyright	(c) Soostone Inc 2020
License	AllRightsReserved
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Napkin.HaskellInterpreter.Types

Contents

Orphan instances

Description

Documentation

type HsEvalResultConstraint a = Typeable a #

type ExtraPackages = [Package] #

type BareHints = [GhcArgument] #

type ExtraPackageDbs = [PackageDbPath] #

type DefaultExtensions = [HaskellExtension] #

newtype PackageDbPath #

Constructors

PackageDbPath
Fields pkgDbDir :: FilePath

Instances

Instances details

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

newtype Package #

Constructors

Package
Fields packageName :: Text

Instances

Instances details

Eq Package #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods (==) :: Package -> Package -> Bool # (/=) :: Package -> Package -> Bool #
Show Package #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods showsPrec :: Int -> Package -> ShowS # show :: Package -> String # showList :: [Package] -> ShowS #
IsString Package #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods fromString :: String -> Package #
ToJSON Package #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods toJSON :: Package -> Value # toEncoding :: Package -> Encoding # toJSONList :: [Package] -> Value # toEncodingList :: [Package] -> Encoding #
FromJSON Package #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods parseJSON :: Value -> Parser Package # parseJSONList :: Value -> Parser [Package] #

newtype Module #

Constructors

Module
Fields moduleName :: Text

Instances

Instances details

Eq Module #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods (==) :: Module -> Module -> Bool # (/=) :: Module -> Module -> Bool #
Show Module #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods showsPrec :: Int -> Module -> ShowS # show :: Module -> String # showList :: [Module] -> ShowS #
IsString Module #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods fromString :: String -> Module #
ToJSON Module #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods toJSON :: Module -> Value # toEncoding :: Module -> Encoding # toJSONList :: [Module] -> Value # toEncodingList :: [Module] -> Encoding #
FromJSON Module #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods parseJSON :: Value -> Parser Module # parseJSONList :: Value -> Parser [Module] #

newtype Function #

Constructors

Function
Fields functionName :: Text

Instances

Instances details

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

data ModuleFunction #

Constructors

ModuleFunction
Fields module_ :: Module function :: Function

Instances

Instances details

Eq ModuleFunction #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods (==) :: ModuleFunction -> ModuleFunction -> Bool # (/=) :: ModuleFunction -> ModuleFunction -> Bool #
Show ModuleFunction #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods showsPrec :: Int -> ModuleFunction -> ShowS # show :: ModuleFunction -> String # showList :: [ModuleFunction] -> ShowS #
ToJSON ModuleFunction #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods toJSON :: ModuleFunction -> Value # toEncoding :: ModuleFunction -> Encoding # toJSONList :: [ModuleFunction] -> Value # toEncodingList :: [ModuleFunction] -> Encoding #
FromJSON ModuleFunction #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods parseJSON :: Value -> Parser ModuleFunction # parseJSONList :: Value -> Parser [ModuleFunction] #

moduleFunctionToText :: ModuleFunction -> Text #

newtype Typed r a #

Constructors

Typed
Fields unTyped :: a

Instances

Instances details

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 #
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 #
ToJSON a => ToJSON (Typed r a) #
Instance details Defined in Napkin.HaskellInterpreter.Types Methods toJSON :: Typed r a -> Value # toEncoding :: Typed r a -> Encoding # toJSONList :: [Typed r a] -> Value # toEncodingList :: [Typed r a] -> Encoding #
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] #

newtype GhcArgument #

Constructors

GhcArgument
Fields ghcArgument :: Text

Instances

Instances details

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

type InterpreterResponseVar a = TMVar (InterpreterResponse a) #

type InterpreterError = InterpreterError #

prettyPrintInterpreterError :: InterpreterError -> Text #

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

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

data InterpreterEnvironment #

Constructors

InterpreterEnvironment
Fields searchPath :: Maybe FilePath extraPackages :: ExtraPackages extraDefaultExtensions :: DefaultExtensions

Instances

Instances details

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

data InterpreterInstance #

Constructors

InterpreterInstance
Fields queue :: TQueue InterpreterRequest threadId :: ThreadId

newtype HaskellExpression a #

Constructors

HaskellExpression String

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

Orphan instances

Eq InterpreterError #
Instance details Methods (==) :: InterpreterError -> InterpreterError -> Bool # (/=) :: InterpreterError -> InterpreterError -> Bool #