KiCS-debugger-0.1.1: dist/build/Curry/DebugModule/Maybe.hs
{-# LANGUAGE DeriveDataTypeable, ScopedTypeVariables #-}
module Curry.DebugModule.Maybe where
import qualified Prelude
import qualified Curry.Debugger.DebugMonad as DM
import qualified Curry.Debugger.DebugInfo as DI
import qualified Curry.Debugger.PartCalls as PC
import qualified Data.Generics
import qualified Curry.DebugModule.Prelude
strict_isJust ::
(DM.DM dm, DI.GenTerm a) =>
Curry.DebugModule.Prelude.Maybe a ->
dm Curry.DebugModule.Prelude.Bool
strict_isJust x1
= DM.eval
(DM.funcDeclHook "isJust"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x2 <- Prelude.return x1
DM.funcCallHook "_case_8"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(strict__case_8 x2)))
term_strict_isJust x1 = DI.Term "isJust" (DI.SrcID "Maybe" 0) x1
strict_isNothing ::
(DM.DM dm, DI.GenTerm a) =>
Curry.DebugModule.Prelude.Maybe a ->
dm Curry.DebugModule.Prelude.Bool
strict_isNothing x1
= DM.eval
(DM.funcDeclHook "isNothing"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x2 <- Prelude.return x1
DM.funcCallHook "_case_7"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(strict__case_7 x2)))
term_strict_isNothing x1
= DI.Term "isNothing" (DI.SrcID "Maybe" 0) x1
strict_fromJust ::
(DM.DM dm, DI.GenTerm a) =>
Curry.DebugModule.Prelude.Maybe a -> dm a
strict_fromJust x1
= DM.eval
(DM.funcDeclHook "fromJust"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x2 <- Prelude.return x1
DM.funcCallHook "_case_6"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(strict__case_6 x2)))
term_strict_fromJust x1
= DI.Term "fromJust" (DI.SrcID "Maybe" 0) x1
strict_fromMaybe ::
(DM.DM dm, DI.GenTerm a) =>
a -> Curry.DebugModule.Prelude.Maybe a -> dm a
strict_fromMaybe x1 x2
= DM.eval
(DM.funcDeclHook "fromMaybe"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x3 <- Prelude.return x1
x4 <- Prelude.return x2
DM.funcCallHook "_case_5"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4]))
(strict__case_5 x3 x4)))
term_strict_fromMaybe x1
= DI.Term "fromMaybe" (DI.SrcID "Maybe" 0) x1
strict_maybeToList ::
(DM.DM dm, DI.GenTerm a) =>
Curry.DebugModule.Prelude.Maybe a ->
dm (Curry.DebugModule.Prelude.List a)
strict_maybeToList x1
= DM.eval
(DM.funcDeclHook "maybeToList"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x2 <- Prelude.return x1
DM.funcCallHook "_case_4"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(strict__case_4 x2)))
term_strict_maybeToList x1
= DI.Term "maybeToList" (DI.SrcID "Maybe" 0) x1
strict_listToMaybe ::
(DM.DM dm, DI.GenTerm a) =>
Curry.DebugModule.Prelude.List a ->
dm (Curry.DebugModule.Prelude.Maybe a)
strict_listToMaybe x1
= DM.eval
(DM.funcDeclHook "listToMaybe"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x2 <- Prelude.return x1
DM.funcCallHook "_case_3"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(strict__case_3 x2)))
term_strict_listToMaybe x1
= DI.Term "listToMaybe" (DI.SrcID "Maybe" 0) x1
strict_catMaybes ::
(DM.DM dm, DI.GenTerm a) =>
Curry.DebugModule.Prelude.List (Curry.DebugModule.Prelude.Maybe a)
-> dm (Curry.DebugModule.Prelude.List a)
strict_catMaybes x1
= DM.eval
(DM.funcDeclHook "catMaybes"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x2 <- Prelude.return
(PC.partCall2 (x'xterm_strict_catMaybes46_35lambda4 [])
x'xstrict_catMaybes46_35lambda4)
x3 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)
x4 <- Prelude.return x1
DM.funcCallHook "foldr"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x2, DI.genTerm x3, DI.genTerm x4]))
(Curry.DebugModule.Prelude.strict_foldr x2 x3 x4)))
term_strict_catMaybes x1
= DI.Term "catMaybes" (DI.SrcID "Maybe" 0) x1
x'xstrict_catMaybes46_35lambda4 ::
(DM.DM dm, DI.GenTerm x37) =>
Curry.DebugModule.Prelude.Maybe x37 ->
Curry.DebugModule.Prelude.List x37 ->
dm (Curry.DebugModule.Prelude.List x37)
x'xstrict_catMaybes46_35lambda4 x1 x2
= DM.eval
(DM.funcDeclHook "catMaybes._#lambda4"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x3 <- Prelude.return x2
x4 <- Prelude.return x1
DM.funcCallHook "_case_2"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4]))
(strict__case_2 x3 x4)))
x'xterm_strict_catMaybes46_35lambda4 x1
= DI.Term "catMaybes._#lambda4" (DI.SrcID "Maybe" 0) x1
strict_mapMaybe ::
(DM.DM dm, DI.GenTerm a, DI.GenTerm b) =>
DM.Func dm a (Curry.DebugModule.Prelude.Maybe b) ->
dm
(DM.Func dm (Curry.DebugModule.Prelude.List a)
(Curry.DebugModule.Prelude.List b))
strict_mapMaybe x1
= DM.eval
(DM.funcDeclHook "mapMaybe"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x3 <- Prelude.return
(PC.partCall1 (term_strict_catMaybes []) strict_catMaybes)
x4 <- do x2 <- Prelude.return x1
Prelude.return
(PC.partCall1
(Curry.DebugModule.Prelude.term_strict_map [DI.genTerm x2])
(Curry.DebugModule.Prelude.strict_map x2))
DM.funcCallHook "."
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4]))
(Curry.DebugModule.Prelude.op_Point x3 x4)))
term_strict_mapMaybe x1
= DI.Term "mapMaybe" (DI.SrcID "Maybe" 0) x1
op_GtGtMinus ::
(DM.DM dm, DI.GenTerm a, DI.GenTerm b) =>
Curry.DebugModule.Prelude.Maybe a ->
DM.Func dm a (Curry.DebugModule.Prelude.Maybe b) ->
dm (Curry.DebugModule.Prelude.Maybe b)
op_GtGtMinus x1 x2
= DM.eval
(DM.funcDeclHook ">>-"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x3 <- Prelude.return x2
x4 <- Prelude.return x1
DM.funcCallHook "_case_1"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4]))
(strict__case_1 x3 x4)))
term_op_GtGtMinus x1 = DI.Term ">>-" (DI.SrcID "Maybe" 0) x1
strict_sequenceMaybe ::
(DM.DM dm, DI.GenTerm a) =>
Curry.DebugModule.Prelude.List (Curry.DebugModule.Prelude.Maybe a)
->
dm
(Curry.DebugModule.Prelude.Maybe
(Curry.DebugModule.Prelude.List a))
strict_sequenceMaybe x1
= DM.eval
(DM.funcDeclHook "sequenceMaybe"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x2 <- Prelude.return x1
DM.funcCallHook "_case_0"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(strict__case_0 x2)))
term_strict_sequenceMaybe x1
= DI.Term "sequenceMaybe" (DI.SrcID "Maybe" 0) x1
x'xstrict_sequenceMaybe46_35lambda6 ::
(DM.DM dm, DI.GenTerm x66) =>
Curry.DebugModule.Prelude.List
(Curry.DebugModule.Prelude.Maybe x66)
->
x66 ->
dm
(Curry.DebugModule.Prelude.Maybe
(Curry.DebugModule.Prelude.List x66))
x'xstrict_sequenceMaybe46_35lambda6 x1 x2
= DM.eval
(DM.funcDeclHook "sequenceMaybe._#lambda6"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x5 <- do x3 <- Prelude.return x1
DM.funcCallHook "sequenceMaybe"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x3]))
(strict_sequenceMaybe x3)
x6 <- do x4 <- Prelude.return x2
Prelude.return
(PC.partCall1
(x'xterm_strict_sequenceMaybe46_35lambda646_35lambda7
[DI.genTerm x4])
(x'xstrict_sequenceMaybe46_35lambda646_35lambda7 x4))
DM.funcCallHook ">>-"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6]))
(op_GtGtMinus x5 x6)))
x'xterm_strict_sequenceMaybe46_35lambda6 x1
= DI.Term "sequenceMaybe._#lambda6" (DI.SrcID "Maybe" 0) x1
x'xstrict_sequenceMaybe46_35lambda646_35lambda7 ::
(DM.DM dm, DI.GenTerm x66) =>
x66 ->
Curry.DebugModule.Prelude.List x66 ->
dm
(Curry.DebugModule.Prelude.Maybe
(Curry.DebugModule.Prelude.List x66))
x'xstrict_sequenceMaybe46_35lambda646_35lambda7 x1 x2
= DM.eval
(DM.funcDeclHook "sequenceMaybe._#lambda6._#lambda7"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x5 <- do x3 <- Prelude.return x1
x4 <- Prelude.return x2
DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x3 x4))
DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x5]))
(Prelude.return (Curry.DebugModule.Prelude.Just x5))))
x'xterm_strict_sequenceMaybe46_35lambda646_35lambda7 x1
= DI.Term "sequenceMaybe._#lambda6._#lambda7" (DI.SrcID "Maybe" 0)
x1
strict_mapMMaybe ::
(DM.DM dm, DI.GenTerm a, DI.GenTerm b) =>
DM.Func dm a (Curry.DebugModule.Prelude.Maybe b) ->
dm
(DM.Func dm (Curry.DebugModule.Prelude.List a)
(Curry.DebugModule.Prelude.Maybe
(Curry.DebugModule.Prelude.List b)))
strict_mapMMaybe x1
= DM.eval
(DM.funcDeclHook "mapMMaybe"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x3 <- Prelude.return
(PC.partCall1 (term_strict_sequenceMaybe []) strict_sequenceMaybe)
x4 <- do x2 <- Prelude.return x1
Prelude.return
(PC.partCall1
(Curry.DebugModule.Prelude.term_strict_map [DI.genTerm x2])
(Curry.DebugModule.Prelude.strict_map x2))
DM.funcCallHook "."
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4]))
(Curry.DebugModule.Prelude.op_Point x3 x4)))
term_strict_mapMMaybe x1
= DI.Term "mapMMaybe" (DI.SrcID "Maybe" 0) x1
strict__case_0 x1
= DM.eval
(DM.funcDeclHook "_case_0"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x8 <- Prelude.return x1
DM.caseHook
(DI.DebugInfo (DI.SrcID "Maybe" (- 1))
(DI.DynamicInfo [] [DI.genTerm x8]))
(case x8 of
Curry.DebugModule.Prelude.Nil
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x4 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x4]))
(Prelude.return (Curry.DebugModule.Prelude.Just x4))))
Curry.DebugModule.Prelude.Cons x2 x3
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x6 <- Prelude.return x2
x7 <- do x5 <- Prelude.return x3
Prelude.return
(PC.partCall1
(x'xterm_strict_sequenceMaybe46_35lambda6
[DI.genTerm x5])
(x'xstrict_sequenceMaybe46_35lambda6 x5))
DM.funcCallHook ">>-"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x6, DI.genTerm x7]))
(op_GtGtMinus x6 x7)))
_
-> DM.treatCase
(DM.nepRulesHook
(DI.DebugInfo (DI.SrcID "Maybe" (- 1))
(DI.DynamicInfo [] [DI.genTerm x8])))
strict__case_0
x8)))
term_strict__case_0 x1 = DI.Term "_case_0" (DI.SrcID "Maybe" 0) x1
strict__case_1 x2 x1
= DM.eval
(DM.funcDeclHook "_case_1"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x2, DI.genTerm x1]))
(do x6 <- Prelude.return x1
DM.caseHook
(DI.DebugInfo (DI.SrcID "Maybe" (- 1))
(DI.DynamicInfo [] [DI.genTerm x6]))
(case x6 of
Curry.DebugModule.Prelude.Nothing
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval
(DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nothing)))
Curry.DebugModule.Prelude.Just x3
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x4 <- Prelude.return x2
x5 <- Prelude.return x3
DM.funcCallHook "apply"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5]))
(Curry.DebugModule.Prelude.strict_apply x4 x5)))
_
-> DM.treatCase
(DM.nepRulesHook
(DI.DebugInfo (DI.SrcID "Maybe" (- 1))
(DI.DynamicInfo [] [DI.genTerm x6])))
(strict__case_1 x2)
x6)))
term_strict__case_1 x1 = DI.Term "_case_1" (DI.SrcID "Maybe" 0) x1
strict__case_2 x2 x1
= DM.eval
(DM.funcDeclHook "_case_2"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x2, DI.genTerm x1]))
(do x6 <- Prelude.return x1
DM.caseHook
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x6]))
(case x6 of
Curry.DebugModule.Prelude.Just x3
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x4 <- Prelude.return x3
x5 <- Prelude.return x2
DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x4 x5))))
Curry.DebugModule.Prelude.Nothing
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval (Prelude.return x2))
_
-> DM.treatCase
(DM.nepCaseHook
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x6])))
(strict__case_2 x2)
x6)))
term_strict__case_2 x1 = DI.Term "_case_2" (DI.SrcID "Maybe" 0) x1
strict__case_3 x1
= DM.eval
(DM.funcDeclHook "_case_3"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x5 <- Prelude.return x1
DM.caseHook
(DI.DebugInfo (DI.SrcID "Maybe" (- 1))
(DI.DynamicInfo [] [DI.genTerm x5]))
(case x5 of
Curry.DebugModule.Prelude.Nil
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval
(DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nothing)))
Curry.DebugModule.Prelude.Cons x2 x3
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x4 <- Prelude.return x2
DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x4]))
(Prelude.return (Curry.DebugModule.Prelude.Just x4))))
_
-> DM.treatCase
(DM.nepRulesHook
(DI.DebugInfo (DI.SrcID "Maybe" (- 1))
(DI.DynamicInfo [] [DI.genTerm x5])))
strict__case_3
x5)))
term_strict__case_3 x1 = DI.Term "_case_3" (DI.SrcID "Maybe" 0) x1
strict__case_4 x1
= DM.eval
(DM.funcDeclHook "_case_4"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x5 <- Prelude.return x1
DM.caseHook
(DI.DebugInfo (DI.SrcID "Maybe" (- 1))
(DI.DynamicInfo [] [DI.genTerm x5]))
(case x5 of
Curry.DebugModule.Prelude.Nothing
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval
(DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)))
Curry.DebugModule.Prelude.Just x2
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x3 <- Prelude.return x2
x4 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x3 x4))))
_
-> DM.treatCase
(DM.nepRulesHook
(DI.DebugInfo (DI.SrcID "Maybe" (- 1))
(DI.DynamicInfo [] [DI.genTerm x5])))
strict__case_4
x5)))
term_strict__case_4 x1 = DI.Term "_case_4" (DI.SrcID "Maybe" 0) x1
strict__case_5 x1 x2
= DM.eval
(DM.funcDeclHook "_case_5"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x4 <- Prelude.return x2
DM.caseHook
(DI.DebugInfo (DI.SrcID "Maybe" (- 1))
(DI.DynamicInfo [] [DI.genTerm x4]))
(case x4 of
Curry.DebugModule.Prelude.Nothing
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval (Prelude.return x1))
Curry.DebugModule.Prelude.Just x3
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval (Prelude.return x3))
_
-> DM.treatCase
(DM.nepRulesHook
(DI.DebugInfo (DI.SrcID "Maybe" (- 1))
(DI.DynamicInfo [] [DI.genTerm x4])))
(strict__case_5 x1)
x4)))
term_strict__case_5 x1 = DI.Term "_case_5" (DI.SrcID "Maybe" 0) x1
strict__case_6 x1
= DM.eval
(DM.funcDeclHook "_case_6"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x50 <- Prelude.return x1
DM.caseHook
(DI.DebugInfo (DI.SrcID "Maybe" (- 1))
(DI.DynamicInfo [] [DI.genTerm x50]))
(case x50 of
Curry.DebugModule.Prelude.Just x2
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval (Prelude.return x2))
Curry.DebugModule.Prelude.Nothing
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x49 <- do x47 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char 'M'))
x48 <- do x45 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'a'))
x46 <- do x43 <- DM.litHook
(DI.DebugInfo
(DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'y'))
x44 <- do x41 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'b'))
x42 <- do x39 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'e'))
x40 <- do x37 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'.'))
x38 <- do x35 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'f'))
x36 <- do x33 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'r'))
x34 <- do x31 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'o'))
x32 <- do x29 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'm'))
x30 <- do x27 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'J'))
x28 <- do x25 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'u'))
x26 <- do x23 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
's'))
x24 <- do x21 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
't'))
x22 <- do x19 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
':'))
x20 <- do x17 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
' '))
x18 <- do x15 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'N'))
x16 <- do x13 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'o'))
x14 <- do x11 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
't'))
x12 <- do x9 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'h'))
x10 <- do x7 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'i'))
x8 <- do x5 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'n'))
x6 <- do x3 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'g'))
x4 <- DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x3,
DI.genTerm
x4]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x3
x4))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x5,
DI.genTerm
x6]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x5
x6))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x7,
DI.genTerm
x8]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x7
x8))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x9,
DI.genTerm
x10]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x9
x10))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x11,
DI.genTerm
x12]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x11
x12))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x13,
DI.genTerm
x14]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x13
x14))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x15,
DI.genTerm
x16]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x15
x16))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x17,
DI.genTerm
x18]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x17
x18))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x19,
DI.genTerm
x20]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x19
x20))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x21,
DI.genTerm
x22]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x21
x22))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x23,
DI.genTerm
x24]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x23
x24))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x25,
DI.genTerm
x26]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x25
x26))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x27,
DI.genTerm
x28]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x27
x28))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x29,
DI.genTerm
x30]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x29
x30))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x31,
DI.genTerm
x32]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x31
x32))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x33,
DI.genTerm
x34]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x33
x34))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x35,
DI.genTerm
x36]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x35
x36))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x37,
DI.genTerm
x38]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x37
x38))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Maybe"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x39,
DI.genTerm
x40]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x39
x40))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID "Maybe" 0)
(DI.DynamicInfo []
[DI.genTerm x41,
DI.genTerm x42]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x41
x42))
DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo []
[DI.genTerm x43,
DI.genTerm x44]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x43
x44))
DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo []
[DI.genTerm x45, DI.genTerm x46]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons x45 x46))
DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo []
[DI.genTerm x47, DI.genTerm x48]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons x47 x48))
DM.funcCallHook "error"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x49]))
(Curry.DebugModule.Prelude.strict_error x49)))
_
-> DM.treatCase
(DM.nepRulesHook
(DI.DebugInfo (DI.SrcID "Maybe" (- 1))
(DI.DynamicInfo [] [DI.genTerm x50])))
strict__case_6
x50)))
term_strict__case_6 x1 = DI.Term "_case_6" (DI.SrcID "Maybe" 0) x1
strict__case_7 x1
= DM.eval
(DM.funcDeclHook "_case_7"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x3 <- Prelude.return x1
DM.caseHook
(DI.DebugInfo (DI.SrcID "Maybe" (- 1))
(DI.DynamicInfo [] [DI.genTerm x3]))
(case x3 of
Curry.DebugModule.Prelude.Nothing
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval
(DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.True)))
Curry.DebugModule.Prelude.Just x2
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval
(DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.False)))
_
-> DM.treatCase
(DM.nepRulesHook
(DI.DebugInfo (DI.SrcID "Maybe" (- 1))
(DI.DynamicInfo [] [DI.genTerm x3])))
strict__case_7
x3)))
term_strict__case_7 x1 = DI.Term "_case_7" (DI.SrcID "Maybe" 0) x1
strict__case_8 x1
= DM.eval
(DM.funcDeclHook "_case_8"
(DI.DebugInfo (DI.SrcID "Maybe" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x3 <- Prelude.return x1
DM.caseHook
(DI.DebugInfo (DI.SrcID "Maybe" (- 1))
(DI.DynamicInfo [] [DI.genTerm x3]))
(case x3 of
Curry.DebugModule.Prelude.Just x2
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval
(DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.True)))
Curry.DebugModule.Prelude.Nothing
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(DM.eval
(DM.constructorHook
(DI.DebugInfo (DI.SrcID "Maybe" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.False)))
_
-> DM.treatCase
(DM.nepRulesHook
(DI.DebugInfo (DI.SrcID "Maybe" (- 1))
(DI.DynamicInfo [] [DI.genTerm x3])))
strict__case_8
x3)))
term_strict__case_8 x1 = DI.Term "_case_8" (DI.SrcID "Maybe" 0) x1