Language.Futhark.Interpreter

An interpreter operating on type-checked source Futhark terms. Relatively slow.

Documentation

data Ctx

The interpreter context. All evaluation takes place with respect to a context, and it can be extended with more definitions, which is how the REPL works.

Constructors

Ctx

Fields

• ctxEnv :: Env
• ctxImports :: Map ImportName Env

data Env

The actual type- and value environment.

Instances

Monoid Env

Defined in Language.Futhark.Interpreter

Methods

mempty :: Env

mappend :: Env -> Env -> Env

mconcat :: [Env] -> Env

Semigroup Env

Defined in Language.Futhark.Interpreter

Methods

(<>) :: Env -> Env -> Env

sconcat :: NonEmpty Env -> Env

stimes :: Integral b => b -> Env -> Env

Show Env

Defined in Language.Futhark.Interpreter

Methods

showsPrec :: Int -> Env -> ShowS

show :: Env -> String

showList :: [Env] -> ShowS

data InterpreterError

An error occurred during interpretation due to an error in the user program. Actual interpreter errors will be signaled with an IO exception (error).

Instances

Show InterpreterError

Defined in Language.Futhark.Interpreter

Methods

showsPrec :: Int -> InterpreterError -> ShowS

show :: InterpreterError -> String

showList :: [InterpreterError] -> ShowS

prettyInterpreterError :: InterpreterError -> Doc AnsiStyle

Prettyprint the error for human consumption.

initialCtx :: Ctx

The initial environment contains definitions of the various intrinsic functions.

interpretExp :: Ctx -> Exp -> F ExtOp Value

interpretDec :: Ctx -> Dec -> F ExtOp Ctx

interpretImport :: Ctx -> (ImportName, Prog) -> F ExtOp Ctx

interpretFunction :: Ctx -> VName -> [Value] -> Either Text (F ExtOp Value)

Execute the named function on the given arguments; may fail horribly if these are ill-typed.

ctxWithImports :: [Env] -> Ctx -> Ctx

Produce a context, based on the one passed in, where all of the provided imports have been openened in order.

data ExtOp a

Constructors

ExtOpTrace Text (Doc ()) a

ExtOpBreak Loc BreakReason (NonEmpty StackFrame) a

ExtOpError InterpreterError

Instances

Functor ExtOp

Defined in Language.Futhark.Interpreter

Methods

fmap :: (a -> b) -> ExtOp a -> ExtOp b

(<$) :: a -> ExtOp b -> ExtOp a

data BreakReason

What is the reason for this break point?

Constructors

BreakPoint

An explicit breakpoint in the program.

BreakNaN

A

data StackFrame

Constructors

StackFrame

Fields

• stackFrameLoc :: Loc
• stackFrameCtx :: Ctx

Instances

Located StackFrame

Defined in Language.Futhark.Interpreter

Methods

locOf :: StackFrame -> Loc

locOfList :: [StackFrame] -> Loc

typeCheckerEnv :: Env -> Env

Values

type Value = Value EvalM

fromTuple :: Value m -> Maybe [Value m]

isEmptyArray :: Value m -> Bool

Does the value correspond to an empty array?

prettyEmptyArray :: TypeBase () () -> Value m -> Text

String representation of an empty array with the provided element type. This is pretty ad-hoc - don't expect good results unless the element type is a primitive.

prettyValue :: Value m -> Doc a

Prettyprint value.

valueText :: Value m -> Text

The value in the textual format.