Language.Futhark.Interpreter

Documentation

data Ctx

Constructors

Ctx

Fields

• ctxEnv :: Env
• ctxImports :: Map FilePath Env

data Env

Constructors

Env

Fields

• envTerm :: Map VName TermBinding
• envType :: Map VName TypeBinding
• envShapes :: Map VName Shape

  A mapping from type parameters to the shapes of the value to which they were initially bound.

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

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] -> F ExtOp Value

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

data ExtOp a

Constructors

ExtOpTrace SrcLoc String a

ExtOpBreak [SrcLoc] Ctx Env a

ExtOpError InterpreterError

Instances

Functor ExtOp

Defined in Language.Futhark.Interpreter

Methods

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

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

typeEnv :: Env -> Env

data Value

A fully evaluated Futhark value.

Constructors

ValuePrim !PrimValue

ValueArray !(Array Int Value)

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

mkArray :: [Value] -> Maybe Value

Create an array value; failing if that would result in an irregular array.

fromTuple :: Value -> Maybe [Value]

isEmptyArray :: Value -> Bool