Module "FlexRigid"
(Just (Exporting (9,17) [(ExportTypeAll (QualIdent Nothing (Ident "FlexRigidResult" 0))),(Export (QualIdent Nothing (Ident "getFlexRigid" 0)))]))
[(ImportDecl (1,1) "Prelude" False Nothing Nothing)
,(ImportDecl (11,1) "FlatCurry" False Nothing Nothing)
,(DataDecl (14,1) (Ident "FlexRigidResult" 0) [] [(ConstrDecl (14,24) [] (Ident "UnknownFR" 0) []),(ConstrDecl (14,36) [] (Ident "ConflictFR" 0) []),(ConstrDecl (14,49) [] (Ident "KnownFlex" 0) []),(ConstrDecl (14,61) [] (Ident "KnownRigid" 0) [])])
,(TypeSig (21,1) [(Ident "getFlexRigid" 0)] (ArrowType (ConstructorType (QualIdent Nothing (Ident "Expr" 0)) []) (ConstructorType (QualIdent Nothing (Ident "FlexRigidResult" 0)) [])))
,(FunctionDecl (22,1) (Ident "getFlexRigid" 0) [(Equation (22,1) (FunLhs (Ident "getFlexRigid" 0) [(ParenPattern (ConstructorPattern (QualIdent (Just "FlatCurry") (Ident "Var" 0)) [(VariablePattern (Ident "_" 3))]))]) (SimpleRhs (22,24) (Constructor (QualIdent (Just "FlexRigid") (Ident "UnknownFR" 0))) [])),(Equation (23,1) (FunLhs (Ident "getFlexRigid" 0) [(ParenPattern (ConstructorPattern (QualIdent (Just "FlatCurry") (Ident "Lit" 0)) [(VariablePattern (Ident "_" 6))]))]) (SimpleRhs (23,24) (Constructor (QualIdent (Just "FlexRigid") (Ident "UnknownFR" 0))) [])),(Equation (24,1) (FunLhs (Ident "getFlexRigid" 0) [(ParenPattern (ConstructorPattern (QualIdent (Just "FlatCurry") (Ident "Comb" 0)) [(VariablePattern (Ident "_" 9)),(VariablePattern (Ident "_" 10)),(VariablePattern (Ident "args" 8))]))]) (SimpleRhs (25,4) (Apply (Apply (Apply (Variable (QualIdent (Just "Prelude") (Ident "foldr" 0))) (Variable (QualIdent (Just "FlexRigid") (Ident "joinCaseTypes" 0)))) (Constructor (QualIdent (Just "FlexRigid") (Ident "UnknownFR" 0)))) (Paren (Apply (Apply (Variable (QualIdent (Just "Prelude") (Ident "map" 0))) (Variable (QualIdent (Just "FlexRigid") (Ident "getFlexRigid" 0)))) (Variable (QualIdent Nothing (Ident "args" 8)))))) [])),(Equation (26,1) (FunLhs (Ident "getFlexRigid" 0) [(ParenPattern (ConstructorPattern (QualIdent (Just "FlatCurry") (Ident "Let" 0)) [(VariablePattern (Ident "_" 13)),(VariablePattern (Ident "e" 12))]))]) (SimpleRhs (26,26) (Apply (Variable (QualIdent (Just "FlexRigid") (Ident "getFlexRigid" 0))) (Variable (QualIdent Nothing (Ident "e" 12)))) [])),(Equation (27,1) (FunLhs (Ident "getFlexRigid" 0) [(ParenPattern (ConstructorPattern (QualIdent (Just "FlatCurry") (Ident "Free" 0)) [(VariablePattern (Ident "_" 16)),(VariablePattern (Ident "e" 15))]))]) (SimpleRhs (27,27) (Apply (Variable (QualIdent (Just "FlexRigid") (Ident "getFlexRigid" 0))) (Variable (QualIdent Nothing (Ident "e" 15)))) [])),(Equation (28,1) (FunLhs (Ident "getFlexRigid" 0) [(ParenPattern (ConstructorPattern (QualIdent (Just "FlatCurry") (Ident "Or" 0)) [(VariablePattern (Ident "e1" 18)),(VariablePattern (Ident "e2" 18))]))]) (SimpleRhs (29,4) (Apply (Apply (Variable (QualIdent (Just "FlexRigid") (Ident "joinCaseTypes" 0))) (Paren (Apply (Variable (QualIdent (Just "FlexRigid") (Ident "getFlexRigid" 0))) (Variable (QualIdent Nothing (Ident "e1" 18)))))) (Paren (Apply (Variable (QualIdent (Just "FlexRigid") (Ident "getFlexRigid" 0))) (Variable (QualIdent Nothing (Ident "e2" 18)))))) [])),(Equation (30,1) (FunLhs (Ident "getFlexRigid" 0) [(ParenPattern (ConstructorPattern (QualIdent (Just "FlatCurry") (Ident "Case" 0)) [(VariablePattern (Ident "ctype" 20)),(VariablePattern (Ident "e" 20)),(VariablePattern (Ident "bs" 20))]))]) (SimpleRhs (31,4) (Apply (Apply (Apply (Variable (QualIdent (Just "Prelude") (Ident "foldr" 0))) (Variable (QualIdent (Just "FlexRigid") (Ident "joinCaseTypes" 0)))) (Paren (IfThenElse (InfixApply (Variable (QualIdent Nothing (Ident "ctype" 20))) (InfixOp (QualIdent (Just "Prelude") (Ident "==" 0))) (Constructor (QualIdent (Just "FlatCurry") (Ident "Flex" 0)))) (Constructor (QualIdent (Just "FlexRigid") (Ident "KnownFlex" 0))) (Constructor (QualIdent (Just "FlexRigid") (Ident "KnownRigid" 0)))))) (Paren (Apply (Apply (Variable (QualIdent (Just "Prelude") (Ident "map" 0))) (Variable (QualIdent (Just "FlexRigid") (Ident "getFlexRigid" 0)))) (Paren (InfixApply (Variable (QualIdent Nothing (Ident "e" 20))) (InfixConstr (QualIdent Nothing (Ident ":" 0))) (Apply (Apply (Variable (QualIdent (Just "Prelude") (Ident "map" 0))) (Paren (Lambda [(ParenPattern (ConstructorPattern (QualIdent (Just "FlatCurry") (Ident "Branch" 0)) [(VariablePattern (Ident "_" 23)),(VariablePattern (Ident "be" 22))]))] (Variable (QualIdent Nothing (Ident "be" 22)))))) (Variable (QualIdent Nothing (Ident "bs" 20))))))))) []))])
,(FunctionDecl (34,1) (Ident "joinCaseTypes" 0) [(Equation (34,1) (FunLhs (Ident "joinCaseTypes" 0) [(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0)) []),(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0)) [])]) (SimpleRhs (34,39) (Constructor (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0))) [])),(Equation (35,1) (FunLhs (Ident "joinCaseTypes" 0) [(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0)) []),(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "UnknownFR" 0)) [])]) (SimpleRhs (35,39) (Constructor (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0))) [])),(Equation (36,1) (FunLhs (Ident "joinCaseTypes" 0) [(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0)) []),(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "KnownFlex" 0)) [])]) (SimpleRhs (36,39) (Constructor (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0))) [])),(Equation (37,1) (FunLhs (Ident "joinCaseTypes" 0) [(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0)) []),(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "KnownRigid" 0)) [])]) (SimpleRhs (37,39) (Constructor (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0))) [])),(Equation (38,1) (FunLhs (Ident "joinCaseTypes" 0) [(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "UnknownFR" 0)) []),(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0)) [])]) (SimpleRhs (38,39) (Constructor (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0))) [])),(Equation (39,1) (FunLhs (Ident "joinCaseTypes" 0) [(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "KnownFlex" 0)) []),(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0)) [])]) (SimpleRhs (39,39) (Constructor (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0))) [])),(Equation (40,1) (FunLhs (Ident "joinCaseTypes" 0) [(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "KnownRigid" 0)) []),(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0)) [])]) (SimpleRhs (40,39) (Constructor (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0))) [])),(Equation (41,1) (FunLhs (Ident "joinCaseTypes" 0) [(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "UnknownFR" 0)) []),(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "UnknownFR" 0)) [])]) (SimpleRhs (41,39) (Constructor (QualIdent (Just "FlexRigid") (Ident "UnknownFR" 0))) [])),(Equation (42,1) (FunLhs (Ident "joinCaseTypes" 0) [(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "UnknownFR" 0)) []),(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "KnownFlex" 0)) [])]) (SimpleRhs (42,39) (Constructor (QualIdent (Just "FlexRigid") (Ident "KnownFlex" 0))) [])),(Equation (43,1) (FunLhs (Ident "joinCaseTypes" 0) [(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "UnknownFR" 0)) []),(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "KnownRigid" 0)) [])]) (SimpleRhs (43,39) (Constructor (QualIdent (Just "FlexRigid") (Ident "KnownRigid" 0))) [])),(Equation (44,1) (FunLhs (Ident "joinCaseTypes" 0) [(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "KnownFlex" 0)) []),(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "UnknownFR" 0)) [])]) (SimpleRhs (44,39) (Constructor (QualIdent (Just "FlexRigid") (Ident "KnownFlex" 0))) [])),(Equation (45,1) (FunLhs (Ident "joinCaseTypes" 0) [(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "KnownFlex" 0)) []),(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "KnownFlex" 0)) [])]) (SimpleRhs (45,39) (Constructor (QualIdent (Just "FlexRigid") (Ident "KnownFlex" 0))) [])),(Equation (46,1) (FunLhs (Ident "joinCaseTypes" 0) [(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "KnownFlex" 0)) []),(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "KnownRigid" 0)) [])]) (SimpleRhs (46,39) (Constructor (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0))) [])),(Equation (47,1) (FunLhs (Ident "joinCaseTypes" 0) [(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "KnownRigid" 0)) []),(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "UnknownFR" 0)) [])]) (SimpleRhs (47,39) (Constructor (QualIdent (Just "FlexRigid") (Ident "KnownRigid" 0))) [])),(Equation (48,1) (FunLhs (Ident "joinCaseTypes" 0) [(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "KnownRigid" 0)) []),(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "KnownFlex" 0)) [])]) (SimpleRhs (48,39) (Constructor (QualIdent (Just "FlexRigid") (Ident "ConflictFR" 0))) [])),(Equation (49,1) (FunLhs (Ident "joinCaseTypes" 0) [(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "KnownRigid" 0)) []),(ConstructorPattern (QualIdent (Just "FlexRigid") (Ident "KnownRigid" 0)) [])]) (SimpleRhs (49,39) (Constructor (QualIdent (Just "FlexRigid") (Ident "KnownRigid" 0))) []))])
]