System.Console.Hawk.Runtime.Base

The part of a HawkSpec used at Runtime. The API may change at any time.

Due to a hint limitation, this module is imported unqualified when interpreting the user expression. This allows hint to read and write the type of the expression which it interprets without falling prey to module scoping issues.

Documentation

data HawkRuntime

Constructors

HawkRuntime

Fields

• inputSpec :: InputSpec
• outputSpec :: OutputSpec

Instances

Eq HawkRuntime

Defined in System.Console.Hawk.Runtime.Base

Methods

(==) :: HawkRuntime -> HawkRuntime -> Bool

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

Show HawkRuntime

Defined in System.Console.Hawk.Runtime.Base

Methods

showsPrec :: Int -> HawkRuntime -> ShowS

show :: HawkRuntime -> String

showList :: [HawkRuntime] -> ShowS

newtype HawkIO a

Constructors

HawkIO

Fields

• runHawkIO :: IO a