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 FilePath Env

data Env

The actual type- and value environment.

Instances

Semigroup Env

Defined in Language.Futhark.Interpreter

Methods

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

sconcat :: NonEmpty Env -> Env

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

Monoid Env

Defined in Language.Futhark.Interpreter

Methods

mempty :: Env

mappend :: Env -> Env -> Env

mconcat :: [Env] -> Env

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

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 -> (FilePath, Prog) -> F ExtOp Ctx

interpretFunction :: Ctx -> VName -> [Value] -> Either String (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 String String 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

data Value

A fully evaluated Futhark value.

Constructors

ValuePrim !PrimValue

ValueRecord (Map Name Value)

Instances

Eq Value

Defined in Language.Futhark.Interpreter

Methods

(==) :: Value -> Value -> Bool

(/=) :: Value -> Value -> Bool

Pretty Value

Defined in Language.Futhark.Interpreter

Methods

ppr :: Value -> Doc

pprPrec :: Int -> Value -> Doc

pprList :: [Value] -> Doc

fromTuple :: Value -> Maybe [Value]

isEmptyArray :: Value -> Bool

Does the value correspond to an empty array?

prettyEmptyArray :: TypeBase () () -> Value -> String

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.