ychr-0.1.0.0: src/YCHR/Internal/VM.hs

-- | CHR Virtual Machine — re-exports from "YCHR.Internal.VM.Types".
module YCHR.Internal.VM
  ( -- * Program structure
    Program (..),
    Procedure (..),
    ProcKind (..),
    EvaluableKey (..),

    -- * Statements
    Stmt (..),

    -- * Expressions
    ValExpr (..),
    IdExpr (..),
    BoolExpr (..),
    CallArg (..),

    -- * Runtime call stack frames
    StackFrame (..),

    -- * Supporting types
    ConstraintType (..),
    RuleId (..),
    Literal (..),
    ArgIndex (..),
    Name (..),
    Label (..),
  )
where

import YCHR.Internal.VM.Types