Curry.RunTimeSystem

Documentation

type State = Store

data ConsKind

Constructors

Val

Branching

Failed

Instances

Eq ConsKind

Show ConsKind

type HNFMode = Bool

type Branches a = [a]

data Exception

Constructors

ErrorCall String

PatternMatchFail String

AssertionFailed String

PreludeFailed

IOException String

Instances

Eq Exception

ConvertCH C_Exception Exception

type C_Exceptions = Exception

type Result a = State -> a

type Result' a = Store -> a

class BaseCurry a where

Methods

nf :: BaseCurry b => (a -> Result b) -> a -> Result b

gnf :: BaseCurry b => (a -> Result b) -> a -> Result b

generator :: Int -> a

failed :: C_Exceptions -> a

branching :: OrRef -> Branches a -> a

consKind :: a -> ConsKind

exceptions :: a -> C_Exceptions

orRef :: a -> OrRef

branches :: a -> Branches a

Instances

BaseCurry C_Success

BaseCurry C_Int

BaseCurry C_Nat

BaseCurry C_Ordering

BaseCurry T0

BaseCurry C_Four

BaseCurry C_Char

BaseCurry C_Bool

BaseCurry C_CalendarTime

BaseCurry C_ClockTime

BaseCurry C_GlobalSpec

BaseCurry C_SeekMode

BaseCurry C_IOMode

BaseCurry C_Tokens

BaseCurry C_Doc

BaseCurry C_Color

BaseCurry C_Exception

BaseCurry C_OrRef

BaseCurry C_Config

BaseCurry C_Result

BaseCurry C_Test

BaseCurry C_ProtocolMsg

BaseCurry C_XmlDocParams

BaseCurry C_Encoding

BaseCurry C_XmlExp

BaseCurry C_Token

BaseCurry C_FrontendParams

BaseCurry C_FrontendTarget

BaseCurry C_Literal

BaseCurry C_Pattern

BaseCurry C_BranchExpr

BaseCurry C_Expr

BaseCurry C_CombType

BaseCurry C_CaseType

BaseCurry C_Rule

BaseCurry C_FuncDecl

BaseCurry C_Fixity

BaseCurry C_OpDecl

BaseCurry C_TypeExpr

BaseCurry C_ConsDecl

BaseCurry C_TypeDecl

BaseCurry C_Visibility

BaseCurry C_Prog

BaseCurry C_FlexRigidResult

BaseCurry C_CLiteral

BaseCurry C_CBranchExpr

BaseCurry C_CPattern

BaseCurry C_CStatement

BaseCurry C_CExpr

BaseCurry C_CLocalDecl

BaseCurry C_CRule

BaseCurry C_CEvalAnnot

BaseCurry C_CRules

BaseCurry C_CFuncDecl

BaseCurry C_CFixity

BaseCurry C_COpDecl

BaseCurry C_CTypeExpr

BaseCurry C_CConsDecl

BaseCurry C_CTypeDecl

BaseCurry C_CVisibility

BaseCurry C_CurryProg

BaseCurry C_RequiredSpec

BaseCurry C_Option

BaseCurry C_InfixOp

BaseCurry C_Literal

BaseCurry C_TypeExpr

BaseCurry C_CallConv

BaseCurry C_EvalAnnotation

BaseCurry C_Infix

BaseCurry C_Import

BaseCurry C_Export

BaseCurry C_QualIdent

BaseCurry C_Ident

BaseCurry C_Position

BaseCurry t0 => BaseCurry (IO (IOVal t0))

BaseCurry t0 => BaseCurry (C_SearchTree t0)

BaseCurry t0 => BaseCurry (C_Maybe t0)

BaseCurry t0 => BaseCurry (List t0)

Generate a => BaseCurry (Prim a)

BaseCurry t0 => BaseCurry (IOVal t0)

BaseCurry t0 => BaseCurry (C_IO t0)

BaseCurry t0 => BaseCurry (C_Queue t0)

BaseCurry t0 => BaseCurry (C_Entry t0)

BaseCurry t0 => BaseCurry (C_Array t0)

BaseCurry t0 => BaseCurry (C_Tree t0)

BaseCurry t0 => BaseCurry (C_RedBlackTree t0)

BaseCurry t0 => BaseCurry (C_Seq t0)

BaseCurry t0 => BaseCurry (C_RichSearchTree t0)

BaseCurry t0 => BaseCurry (C_Assertion t0)

BaseCurry t0 => BaseCurry (C_Alt t0)

BaseCurry t0 => BaseCurry (C_Statement t0)

BaseCurry t0 => BaseCurry (C_Expression t0)

BaseCurry t0 => BaseCurry (C_ConstrTerm t0)

BaseCurry t0 => BaseCurry (C_CondExpr t0)

BaseCurry t0 => BaseCurry (C_Rhs t0)

BaseCurry t0 => BaseCurry (C_Lhs t0)

BaseCurry t0 => BaseCurry (C_Equation t0)

BaseCurry t0 => BaseCurry (C_NewConstrDecl t0)

BaseCurry t0 => BaseCurry (C_ConstrDecl t0)

BaseCurry t0 => BaseCurry (C_Decl t0)

BaseCurry t0 => BaseCurry (C_ImportSpec t0)

BaseCurry t0 => BaseCurry (C_ExportSpec t0)

BaseCurry t0 => BaseCurry (C_Module t0)

(BaseCurry t0, BaseCurry t1) => BaseCurry (C_Either t0 t1)

(BaseCurry t0, BaseCurry t1) => BaseCurry (T2 t0 t1)

(BaseCurry t0, BaseCurry t1) => BaseCurry (C_FiniteMap t0 t1)

(BaseCurry t0, BaseCurry t1) => BaseCurry (C_FM t0 t1)

(BaseCurry t0, BaseCurry t1) => BaseCurry (C_Graph t0 t1)

(BaseCurry t0, BaseCurry t1) => BaseCurry (C_Field t0 t1)

(BaseCurry t0, BaseCurry t1, BaseCurry t2) => BaseCurry (T3 t0 t1 t2)

(BaseCurry t0, BaseCurry t1, BaseCurry t2, BaseCurry t3) => BaseCurry (T4 t0 t1 t2 t3)

(BaseCurry t0, BaseCurry t1, BaseCurry t2, BaseCurry t3, BaseCurry t4) => BaseCurry (T5 t0 t1 t2 t3 t4)

(BaseCurry t0, BaseCurry t1, BaseCurry t2, BaseCurry t3, BaseCurry t4, BaseCurry t5) => BaseCurry (T6 t0 t1 t2 t3 t4 t5)

(BaseCurry t0, BaseCurry t1, BaseCurry t2, BaseCurry t3, BaseCurry t4, BaseCurry t5, BaseCurry t6) => BaseCurry (T7 t0 t1 t2 t3 t4 t5 t6)

(BaseCurry t0, BaseCurry t1, BaseCurry t2, BaseCurry t3, BaseCurry t4, BaseCurry t5, BaseCurry t6, BaseCurry t7) => BaseCurry (T8 t0 t1 t2 t3 t4 t5 t6 t7)

(BaseCurry t0, BaseCurry t1, BaseCurry t2, BaseCurry t3, BaseCurry t4, BaseCurry t5, BaseCurry t6, BaseCurry t7, BaseCurry t8) => BaseCurry (T9 t0 t1 t2 t3 t4 t5 t6 t7 t8)

(BaseCurry t0, BaseCurry t1, BaseCurry t2, BaseCurry t3, BaseCurry t4, BaseCurry t5, BaseCurry t6, BaseCurry t7, BaseCurry t8, BaseCurry t9) => BaseCurry (T10 t0 t1 t2 t3 t4 t5 t6 t7 t8 t9)

(BaseCurry t0, BaseCurry t1, BaseCurry t2, BaseCurry t3, BaseCurry t4, BaseCurry t5, BaseCurry t6, BaseCurry t7, BaseCurry t8, BaseCurry t9, BaseCurry t10) => BaseCurry (T11 t0 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10)

(BaseCurry t0, BaseCurry t1, BaseCurry t2, BaseCurry t3, BaseCurry t4, BaseCurry t5, BaseCurry t6, BaseCurry t7, BaseCurry t8, BaseCurry t9, BaseCurry t10, BaseCurry t11) => BaseCurry (T12 t0 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11)

(BaseCurry t0, BaseCurry t1, BaseCurry t2, BaseCurry t3, BaseCurry t4, BaseCurry t5, BaseCurry t6, BaseCurry t7, BaseCurry t8, BaseCurry t9, BaseCurry t10, BaseCurry t11, BaseCurry t12) => BaseCurry (T13 t0 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12)

(BaseCurry t0, BaseCurry t1, BaseCurry t2, BaseCurry t3, BaseCurry t4, BaseCurry t5, BaseCurry t6, BaseCurry t7, BaseCurry t8, BaseCurry t9, BaseCurry t10, BaseCurry t11, BaseCurry t12, BaseCurry t13) => BaseCurry (T14 t0 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13)

(BaseCurry t0, BaseCurry t1, BaseCurry t2, BaseCurry t3, BaseCurry t4, BaseCurry t5, BaseCurry t6, BaseCurry t7, BaseCurry t8, BaseCurry t9, BaseCurry t10, BaseCurry t11, BaseCurry t12, BaseCurry t13, BaseCurry t14) => BaseCurry (T15 t0 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14)

ctcStore :: (BaseCurry a, BaseCurry b) => HNFMode -> (a -> Result b) -> a -> Result b

mapOr :: BaseCurry b => (a -> Result b) -> OrRef -> Branches a -> Result b

lift :: BaseCurry b => (a -> Result b) -> OrRef -> Branches a -> (Int -> State) -> b

addException :: (BaseCurry a, BaseCurry b) => Exception -> a -> b

curryError :: String -> Exception

data Store

Instances

Eq Store

Ord Store

Show Store

BaseCurry b => Generate (a -> Result b)

emptyStore :: Store

changeStore :: OrRef -> Store -> StoreResult

storeSize :: Store -> Int

data OrRef

Instances

Eq OrRef

Data OrRef

Ord OrRef

Read OrRef

Show OrRef

Typeable OrRef

data OrRefKind

Constructors

Generator Int Int

Narrowed Int Int

NoGenerator

Instances

Eq OrRefKind

Data OrRefKind

Ord OrRefKind

Read OrRefKind

Show OrRefKind

Typeable OrRefKind

deref :: OrRef -> Int

genInfo :: OrRef -> (Int, Int, Int)

cover :: OrRef -> OrRef

uncover :: OrRef -> OrRef

mkRef :: Int -> Int -> Int -> OrRef

isCovered :: OrRef -> Bool

manipulateStore :: a -> (b -> Store -> a) -> (OrRef -> (Int -> Store) -> a) -> (OrRef -> b -> Store -> a) -> OrRef -> [b] -> Store -> a

mkRefWithGenInfo :: OrRefKind -> Int -> OrRef

equalFromTo :: Int -> Int -> Int -> Int -> Int -> Int -> OrRef

isGenerator :: OrRef -> Bool

isConstr :: OrRef -> Bool

updRef :: (Int -> Int) -> OrRef -> OrRef

narrowOrRef :: OrRef -> OrRef

nfCTC :: (BaseCurry a, BaseCurry b) => (b -> Result a) -> b -> Result a

hnfCTC :: (BaseCurry a, BaseCurry b) => (b -> Result a) -> b -> Result a

gnfCTC :: (BaseCurry a, BaseCurry b) => (b -> Result a) -> b -> Result a

ghnfCTC :: (BaseCurry a, BaseCurry b) => (b -> Result a) -> b -> Result a

patternFail :: (BaseCurry a, BaseCurry b) => String -> a -> b

withRef :: (Int -> a) -> Int -> a

storeRefCounter :: IORef Int

nextRef :: Int -> Int

data RunTimeOptions

Constructors

RTO

Fields

currentModule :: String

runTimeDefaults :: RunTimeOptions

runTimeOptions :: IORef RunTimeOptions

setRunTimeOptions :: RunTimeOptions -> IO ()

freeF :: (BaseCurry b, BaseCurry a) => (b -> a) -> a

orF :: BaseCurry a => a -> a -> a

setProgName :: String -> IO ()

setProgNameAndOrBased :: String -> IO ()

getProgName :: IO String

orCTC :: BaseCurry a => a -> a -> a

freeOrBased :: (BaseCurry b, BaseCurry a) => (b -> a) -> a

ten, zero, eleven :: Int

readQualified :: String -> String -> String -> [((), String)]