KiCS-0.9.3: A compiler from Curry to Haskell

Safe HaskellSafe-Infered

Curry.RunTimeSystem

Documentation

data ConsKind Source

Constructors

Val 
Branching 
Failed 

Instances

type Branches a = [a]Source

type Result a = State -> aSource

type Result' a = Store -> aSource

class BaseCurry a whereSource

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 bSource

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

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

data Store Source

Instances

changeStore :: OrRef -> Store -> StoreResultSource

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

equalFromTo :: Int -> Int -> Int -> Int -> Int -> Int -> OrRefSource

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

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

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

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

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

data RunTimeOptions Source

Constructors

RTO 

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

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

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

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