AtomSeqArgs {atomSeqInts = [950,223]}parseValue "950 223" = Nothing; expected Just _


AtomSeqArgs {atomSeqInts = [594,710,600,863,32]}parseValue "594 710 600 863 32" = Nothing; expected Just _


AtomSeqArgs {atomSeqInts = [738,203,477,486]}parseValue "738 203 477 486" = Nothing; expected Just _


AtomSeqArgs {atomSeqInts = [920,401]}parseValue "920 401" = Nothing; expected Just _


AtomSeqArgs {atomSeqInts = [612,959,722,236,392]}parseValue "612 959 722 236 392" = Nothing; expected Just _


AtomSeqArgs {atomSeqInts = [53,670,346,978,769]}parseValue "53 670 346 978 769" = Nothing; expected Just _


AtomSeqArgs {atomSeqInts = [148,872,851,432]}parseValue "148 872 851 432" = Nothing; expected Just _


AtomSeqArgs {atomSeqInts = [837,491]}parseValue "837 491" = Nothing; expected Just _


AtomSeqArgs {atomSeqInts = [12,744,41]}parseValue "12 744 41" = Nothing; expected Just _


AtomSeqArgs {atomSeqInts = [860,950,343,105]}parseValue "860 950 343 105" = Nothing; expected Just _


AtomSeqArgs {atomSeqInts = [0,0]}: parseValue "0 0" = Nothing; expected Just _


CounterExample ["AtomSeqArgs {atomSeqInts = [0,0]}"] (PropertyFalse Nothing)


RatioArgs {ratioNum = 829, ratioDen = 705}valToStr (Ratio 829 705) = "(%) 829 705"; parseValue = Nothing; expected Just (Ratio _ _)


RatioArgs {ratioNum = 941, ratioDen = 736}valToStr (Ratio 941 736) = "(%) 941 736"; parseValue = Nothing; expected Just (Ratio _ _)


RatioArgs {ratioNum = 672, ratioDen = 459}valToStr (Ratio 672 459) = "(%) 672 459"; parseValue = Nothing; expected Just (Ratio _ _)


RatioArgs {ratioNum = 99, ratioDen = 423}valToStr (Ratio 99 423) = "(%) 99 423"; parseValue = Nothing; expected Just (Ratio _ _)


RatioArgs {ratioNum = 591, ratioDen = 871}valToStr (Ratio 591 871) = "(%) 591 871"; parseValue = Nothing; expected Just (Ratio _ _)


RatioArgs {ratioNum = 570, ratioDen = 923}valToStr (Ratio 570 923) = "(%) 570 923"; parseValue = Nothing; expected Just (Ratio _ _)


RatioArgs {ratioNum = 899, ratioDen = 140}valToStr (Ratio 899 140) = "(%) 899 140"; parseValue = Nothing; expected Just (Ratio _ _)


RatioArgs {ratioNum = 872, ratioDen = 383}valToStr (Ratio 872 383) = "(%) 872 383"; parseValue = Nothing; expected Just (Ratio _ _)


RatioArgs {ratioNum = 282, ratioDen = 405}valToStr (Ratio 282 405) = "(%) 282 405"; parseValue = Nothing; expected Just (Ratio _ _)


RatioArgs {ratioNum = 3, ratioDen = 114}valToStr (Ratio 3 114) = "(%) 3 114"; parseValue = Nothing; expected Just (Ratio _ _)


RatioArgs {ratioNum = 0, ratioDen = 1}: valToStr (Ratio 0 1) = "(%) 0 1"; parseValue = Nothing; expected Just (Ratio _ _)


CounterExample ["RatioArgs {ratioNum = 0, ratioDen = 1}"] (PropertyFalse Nothing)


NegRatioArgs {negNum = 198, negDen = 658}parseValue "198 % -658" = Nothing; expected Just (Ratio _ (Neg _))


NegRatioArgs {negNum = 386, negDen = 831}parseValue "386 % -831" = Nothing; expected Just (Ratio _ (Neg _))


NegRatioArgs {negNum = 484, negDen = 384}parseValue "484 % -384" = Nothing; expected Just (Ratio _ (Neg _))


NegRatioArgs {negNum = 660, negDen = 883}parseValue "660 % -883" = Nothing; expected Just (Ratio _ (Neg _))


NegRatioArgs {negNum = 346, negDen = 182}parseValue "346 % -182" = Nothing; expected Just (Ratio _ (Neg _))


NegRatioArgs {negNum = 853, negDen = 70}parseValue "853 % -70" = Nothing; expected Just (Ratio _ (Neg _))


NegRatioArgs {negNum = 160, negDen = 179}parseValue "160 % -179" = Nothing; expected Just (Ratio _ (Neg _))


NegRatioArgs {negNum = 978, negDen = 163}parseValue "978 % -163" = Nothing; expected Just (Ratio _ (Neg _))


NegRatioArgs {negNum = 207, negDen = 782}parseValue "207 % -782" = Nothing; expected Just (Ratio _ (Neg _))


NegRatioArgs {negNum = 933, negDen = 19}parseValue "933 % -19" = Nothing; expected Just (Ratio _ (Neg _))


NegRatioArgs {negNum = 0, negDen = 1}: parseValue "0 % -1" = Nothing; expected Just (Ratio _ (Neg _))


CounterExample ["NegRatioArgs {negNum = 0, negDen = 1}"] (PropertyFalse Nothing)


ResOpInfixArgs {resOpLeft = "Fh4", resOpRight = "F"}parseValue "Fh4 .. F" = Nothing; expected Just (InfixCons (Con "Fh4") [("..", Con "F")])


ResOpInfixArgs {resOpLeft = "Sl", resOpRight = "T1"}parseValue "Sl .. T1" = Nothing; expected Just (InfixCons (Con "Sl") [("..", Con "T1")])


ResOpInfixArgs {resOpLeft = "Ae0W", resOpRight = "VgK"}parseValue "Ae0W .. VgK" = Nothing; expected Just (InfixCons (Con "Ae0W") [("..", Con "VgK")])


ResOpInfixArgs {resOpLeft = "XO", resOpRight = "OYZj"}parseValue "XO .. OYZj" = Nothing; expected Just (InfixCons (Con "XO") [("..", Con "OYZj")])


ResOpInfixArgs {resOpLeft = "L6", resOpRight = "LW"}parseValue "L6 .. LW" = Nothing; expected Just (InfixCons (Con "L6") [("..", Con "LW")])


ResOpInfixArgs {resOpLeft = "LW", resOpRight = "GjUV9"}parseValue "LW .. GjUV9" = Nothing; expected Just (InfixCons (Con "LW") [("..", Con "GjUV9")])


ResOpInfixArgs {resOpLeft = "UIcjj", resOpRight = "NvDbl"}parseValue "UIcjj .. NvDbl" = Nothing; expected Just (InfixCons (Con "UIcjj") [("..", Con "NvDbl")])


ResOpInfixArgs {resOpLeft = "UU", resOpRight = "RFhAv"}parseValue "UU .. RFhAv" = Nothing; expected Just (InfixCons (Con "UU") [("..", Con "RFhAv")])


ResOpInfixArgs {resOpLeft = "Q4U", resOpRight = "H6X84"}parseValue "Q4U .. H6X84" = Nothing; expected Just (InfixCons (Con "Q4U") [("..", Con "H6X84")])


ResOpInfixArgs {resOpLeft = "YpI", resOpRight = "QG"}parseValue "YpI .. QG" = Nothing; expected Just (InfixCons (Con "YpI") [("..", Con "QG")])


ResOpInfixArgs {resOpLeft = "A", resOpRight = "A"}: parseValue "A .. A" = Nothing; expected Just (InfixCons (Con "A") [("..", Con "A")])


CounterExample ["ResOpInfixArgs {resOpLeft = \"A\", resOpRight = \"A\"}"] (PropertyFalse Nothing)


VarSymInfixArgs {varSymLeft = "N", varSymRight = "IW"}parseValue "N + IW" = Nothing; expected Just (InfixCons (Con "N") [("+", Con "IW")])


VarSymInfixArgs {varSymLeft = "Yi", varSymRight = "MF"}parseValue "Yi + MF" = Nothing; expected Just (InfixCons (Con "Yi") [("+", Con "MF")])


VarSymInfixArgs {varSymLeft = "T", varSymRight = "W6"}parseValue "T + W6" = Nothing; expected Just (InfixCons (Con "T") [("+", Con "W6")])


VarSymInfixArgs {varSymLeft = "QKMx", varSymRight = "LaJC"}parseValue "QKMx + LaJC" = Nothing; expected Just (InfixCons (Con "QKMx") [("+", Con "LaJC")])


VarSymInfixArgs {varSymLeft = "MABSY", varSymRight = "Rok"}parseValue "MABSY + Rok" = Nothing; expected Just (InfixCons (Con "MABSY") [("+", Con "Rok")])


VarSymInfixArgs {varSymLeft = "FD", varSymRight = "T"}parseValue "FD + T" = Nothing; expected Just (InfixCons (Con "FD") [("+", Con "T")])


VarSymInfixArgs {varSymLeft = "Q1FeP", varSymRight = "N5Xf"}parseValue "Q1FeP + N5Xf" = Nothing; expected Just (InfixCons (Con "Q1FeP") [("+", Con "N5Xf")])


VarSymInfixArgs {varSymLeft = "M1", varSymRight = "L4m"}parseValue "M1 + L4m" = Nothing; expected Just (InfixCons (Con "M1") [("+", Con "L4m")])


VarSymInfixArgs {varSymLeft = "V6XRe", varSymRight = "Gu"}parseValue "V6XRe + Gu" = Nothing; expected Just (InfixCons (Con "V6XRe") [("+", Con "Gu")])


VarSymInfixArgs {varSymLeft = "IZmV", varSymRight = "VUx"}parseValue "IZmV + VUx" = Nothing; expected Just (InfixCons (Con "IZmV") [("+", Con "VUx")])


VarSymInfixArgs {varSymLeft = "A", varSymRight = "A"}: parseValue "A + A" = Nothing; expected Just (InfixCons (Con "A") [("+", Con "A")])


CounterExample ["VarSymInfixArgs {varSymLeft = \"A\", varSymRight = \"A\"}"] (PropertyFalse Nothing)


ResIdConArgs {resIdConWord = "of"}parseValue "of" = Nothing; expected Just (Con "of" [])


ResIdConArgs {resIdConWord = "import"}parseValue "import" = Nothing; expected Just (Con "import" [])


ResIdConArgs {resIdConWord = "newtype"}parseValue "newtype" = Nothing; expected Just (Con "newtype" [])


ResIdConArgs {resIdConWord = "case"}parseValue "case" = Nothing; expected Just (Con "case" [])


ResIdConArgs {resIdConWord = "else"}parseValue "else" = Nothing; expected Just (Con "else" [])


ResIdConArgs {resIdConWord = "where"}parseValue "where" = Nothing; expected Just (Con "where" [])


ResIdConArgs {resIdConWord = "module"}parseValue "module" = Nothing; expected Just (Con "module" [])


ResIdConArgs {resIdConWord = "deriving"}parseValue "deriving" = Nothing; expected Just (Con "deriving" [])


ResIdConArgs {resIdConWord = "case"}: parseValue "case" = Nothing; expected Just (Con "case" [])


CounterExample ["ResIdConArgs {resIdConWord = \"case\"}"] (PropertyFalse Nothing)


ConsExtraArgs {conLeadName = "Ap7", conLeadArg = 319, conTrailA = 58, conTrailB = 54}parseValue "(Ap7 319) 58 54" = Just (Con "" [Con "Ap7" [Integer "319"],Integer "58",Integer "54"]); expected Just Con "Ap7" [Integer "319",Integer "58",Integer "54"]


ConsExtraArgs {conLeadName = "J", conLeadArg = 590, conTrailA = 808, conTrailB = 956}parseValue "(J 590) 808 956" = Just (Con "" [Con "J" [Integer "590"],Integer "808",Integer "956"]); expected Just Con "J" [Integer "590",Integer "808",Integer "956"]


ConsExtraArgs {conLeadName = "HRM4l", conLeadArg = 307, conTrailA = 521, conTrailB = 169}parseValue "(HRM4l 307) 521 169" = Just (Con "" [Con "HRM4l" [Integer "307"],Integer "521",Integer "169"]); expected Just Con "HRM4l" [Integer "307",Integer "521",Integer "169"]


ConsExtraArgs {conLeadName = "NXjWJ", conLeadArg = 159, conTrailA = 374, conTrailB = 936}parseValue "(NXjWJ 159) 374 936" = Just (Con "" [Con "NXjWJ" [Integer "159"],Integer "374",Integer "936"]); expected Just Con "NXjWJ" [Integer "159",Integer "374",Integer "936"]


ConsExtraArgs {conLeadName = "Ty", conLeadArg = 251, conTrailA = 51, conTrailB = 541}parseValue "(Ty 251) 51 541" = Just (Con "" [Con "Ty" [Integer "251"],Integer "51",Integer "541"]); expected Just Con "Ty" [Integer "251",Integer "51",Integer "541"]


ConsExtraArgs {conLeadName = "CzZAs", conLeadArg = 264, conTrailA = 249, conTrailB = 199}parseValue "(CzZAs 264) 249 199" = Just (Con "" [Con "CzZAs" [Integer "264"],Integer "249",Integer "199"]); expected Just Con "CzZAs" [Integer "264",Integer "249",Integer "199"]


ConsExtraArgs {conLeadName = "OIsvM", conLeadArg = 516, conTrailA = 266, conTrailB = 521}parseValue "(OIsvM 516) 266 521" = Just (Con "" [Con "OIsvM" [Integer "516"],Integer "266",Integer "521"]); expected Just Con "OIsvM" [Integer "516",Integer "266",Integer "521"]


ConsExtraArgs {conLeadName = "USO", conLeadArg = 180, conTrailA = 862, conTrailB = 137}parseValue "(USO 180) 862 137" = Just (Con "" [Con "USO" [Integer "180"],Integer "862",Integer "137"]); expected Just Con "USO" [Integer "180",Integer "862",Integer "137"]


ConsExtraArgs {conLeadName = "E", conLeadArg = 95, conTrailA = 157, conTrailB = 910}parseValue "(E 95) 157 910" = Just (Con "" [Con "E" [Integer "95"],Integer "157",Integer "910"]); expected Just Con "E" [Integer "95",Integer "157",Integer "910"]


ConsExtraArgs {conLeadName = "S", conLeadArg = 407, conTrailA = 714, conTrailB = 395}parseValue "(S 407) 714 395" = Just (Con "" [Con "S" [Integer "407"],Integer "714",Integer "395"]); expected Just Con "S" [Integer "407",Integer "714",Integer "395"]


ConsExtraArgs {conLeadName = "A", conLeadArg = 0, conTrailA = 0, conTrailB = 0}: parseValue "(A 0) 0 0" = Just (Con "" [Con "A" [Integer "0"],Integer "0",Integer "0"]); expected Just Con "A" [Integer "0",Integer "0",Integer "0"]


CounterExample ["ConsExtraArgs {conLeadName = \"A\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}"] (PropertyFalse Nothing)