KiCS-0.9.3: A compiler from Curry to Haskell

Safe HaskellSafe-Infered

Curry.Module.FlexRigid

Documentation

data C_FlexRigidResult Source

Constructors

C_UnknownFR 
C_ConflictFR 
C_KnownFlex 
C_KnownRigid 
C_FlexRigidResultFail C_Exceptions 
C_FlexRigidResultOr OrRef (Branches C_FlexRigidResult) 

Instances

c_getFlexRigid :: C_Expr -> State -> C_FlexRigidResultSource

c_getFlexRigid'46_'35lambda2 :: C_BranchExpr -> State -> C_ExprSource

c_joinCaseTypes :: C_FlexRigidResult -> C_FlexRigidResult -> State -> C_FlexRigidResultSource

c_joinCaseTypes_case_0 :: C_FlexRigidResult -> State -> C_FlexRigidResultSource

c_joinCaseTypes_case_1 :: C_FlexRigidResult -> State -> C_FlexRigidResultSource

c_joinCaseTypes_case_2 :: C_FlexRigidResult -> State -> C_FlexRigidResultSource

c_joinCaseTypes_case_3 :: C_FlexRigidResult -> State -> C_FlexRigidResultSource

c_getFlexRigid_case_4 :: t -> C_Bool -> State -> C_FlexRigidResultSource