KiCS-debugger-0.1.1: dist/build/Curry/DebugModule/AnsiCodes.hs
{-# LANGUAGE DeriveDataTypeable, ScopedTypeVariables #-}
module Curry.DebugModule.AnsiCodes 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.Char
import qualified Curry.DebugModule.List
import qualified Curry.DebugModule.Prelude
strict_esc :: (DM.DM dm) => dm Curry.DebugModule.Prelude.Char
strict_esc
= DM.eval
(DM.funcDeclHook "esc"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I Curry.DebugModule.Prelude.IHi))))))
DM.funcCallHook "chr"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x0]))
(Curry.DebugModule.Prelude.strict_chr x0)))
strict_cmd ::
(DM.DM dm) =>
Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char ->
dm (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
strict_cmd x1
= DM.eval
(DM.funcDeclHook "cmd"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x6 <- DM.funcCallHook "esc"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
strict_esc
x7 <- do x4 <- do x2 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char '['))
x3 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x2, DI.genTerm x3]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x2 x3))
x5 <- Prelude.return x1
DM.funcCallHook "++"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5]))
(Curry.DebugModule.Prelude.op_PlusPlus x4 x5)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x6, DI.genTerm x7]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x6 x7))))
term_strict_cmd x1 = DI.Term "cmd" (DI.SrcID "AnsiCodes" 0) x1
strict_cursorPos ::
(DM.DM dm, DI.GenTerm a, DI.GenTerm b) =>
a ->
b ->
dm (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
strict_cursorPos x1 x2
= DM.eval
(DM.funcDeclHook "cursorPos"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x15 <- do x13 <- do x3 <- Prelude.return x1
DM.funcCallHook "show"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x3]))
(Curry.DebugModule.Prelude.strict_show x3)
x14 <- do x11 <- do x4 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char ';'))
x5 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x4 x5))
x12 <- do x9 <- do x6 <- Prelude.return x2
DM.funcCallHook "show"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x6]))
(Curry.DebugModule.Prelude.strict_show x6)
x10 <- do x7 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'H'))
x8 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
(Prelude.return
Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x7, DI.genTerm x8]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons x7 x8))
DM.funcCallHook "++"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x9, DI.genTerm x10]))
(Curry.DebugModule.Prelude.op_PlusPlus x9 x10)
DM.funcCallHook "++"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x11, DI.genTerm x12]))
(Curry.DebugModule.Prelude.op_PlusPlus x11 x12)
DM.funcCallHook "++"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x13, DI.genTerm x14]))
(Curry.DebugModule.Prelude.op_PlusPlus x13 x14)
DM.funcCallHook "cmd"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x15]))
(strict_cmd x15)))
term_strict_cursorPos x1
= DI.Term "cursorPos" (DI.SrcID "AnsiCodes" 0) x1
strict_cursorHome ::
(DM.DM dm) =>
dm (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
strict_cursorHome
= DM.eval
(DM.funcDeclHook "cursorHome"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x2 <- do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char 'H'))
x1 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x0, DI.genTerm x1]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x0 x1))
DM.funcCallHook "cmd"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(strict_cmd x2)))
strict_moveCursor ::
(DM.DM dm) =>
Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char ->
Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char ->
dm (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
strict_moveCursor x1 x2
= DM.eval
(DM.funcDeclHook "moveCursor"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x6 <- do x4 <- do x3 <- Prelude.return x2
DM.funcCallHook "show"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x3]))
(Curry.DebugModule.Prelude.strict_show x3)
x5 <- Prelude.return x1
DM.funcCallHook "++"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5]))
(Curry.DebugModule.Prelude.op_PlusPlus x4 x5)
DM.funcCallHook "cmd"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x6]))
(strict_cmd x6)))
term_strict_moveCursor x1
= DI.Term "moveCursor" (DI.SrcID "AnsiCodes" 0) x1
strict_cursorUp ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_cursorUp
= DM.eval
(DM.funcDeclHook "cursorUp"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x2 <- do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char 'A'))
x1 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x0, DI.genTerm x1]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x0 x1))
Prelude.return
(PC.partCall1 (term_strict_moveCursor [DI.genTerm x2])
(strict_moveCursor x2))))
strict_cursorDown ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_cursorDown
= DM.eval
(DM.funcDeclHook "cursorDown"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x2 <- do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char 'B'))
x1 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x0, DI.genTerm x1]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x0 x1))
Prelude.return
(PC.partCall1 (term_strict_moveCursor [DI.genTerm x2])
(strict_moveCursor x2))))
strict_cursorFwd ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_cursorFwd
= DM.eval
(DM.funcDeclHook "cursorFwd"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x2 <- do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char 'C'))
x1 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x0, DI.genTerm x1]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x0 x1))
Prelude.return
(PC.partCall1 (term_strict_moveCursor [DI.genTerm x2])
(strict_moveCursor x2))))
strict_cursorBack ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_cursorBack
= DM.eval
(DM.funcDeclHook "cursorBack"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x2 <- do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char 'D'))
x1 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x0, DI.genTerm x1]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x0 x1))
Prelude.return
(PC.partCall1 (term_strict_moveCursor [DI.genTerm x2])
(strict_moveCursor x2))))
strict_saveCursor ::
(DM.DM dm) =>
dm (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
strict_saveCursor
= DM.eval
(DM.funcDeclHook "saveCursor"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x2 <- do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char 's'))
x1 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x0, DI.genTerm x1]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x0 x1))
DM.funcCallHook "cmd"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(strict_cmd x2)))
strict_restoreCursor ::
(DM.DM dm) =>
dm (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
strict_restoreCursor
= DM.eval
(DM.funcDeclHook "restoreCursor"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x2 <- do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char 'u'))
x1 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x0, DI.genTerm x1]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x0 x1))
DM.funcCallHook "cmd"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(strict_cmd x2)))
strict_clear ::
(DM.DM dm) =>
dm (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
strict_clear
= DM.eval
(DM.funcDeclHook "clear"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x4 <- do x2 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char '2'))
x3 <- do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char 'J'))
x1 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x0, DI.genTerm x1]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x0 x1))
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x2, DI.genTerm x3]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x2 x3))
DM.funcCallHook "cmd"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x4]))
(strict_cmd x4)))
strict_eraseLine ::
(DM.DM dm) =>
dm (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
strict_eraseLine
= DM.eval
(DM.funcDeclHook "eraseLine"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x2 <- do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char 'K'))
x1 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x0, DI.genTerm x1]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x0 x1))
DM.funcCallHook "cmd"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(strict_cmd x2)))
strict_mode ::
(DM.DM dm, DI.GenTerm a) =>
a ->
Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char ->
dm (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
strict_mode x1 x2
= DM.eval
(DM.funcDeclHook "mode"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(DM.letHook
(DI.DebugInfo (DI.SrcID "DummyModule" 42) (DI.DynamicInfo [] []))
(do x3 <- do x8 <- do x6 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char '0'))
x7 <- do x4 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char 'm'))
x5 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x4 x5))
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x6, DI.genTerm x7]))
(Prelude.return (Curry.DebugModule.Prelude.Cons x6 x7))
DM.funcCallHook "cmd"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x8]))
(strict_cmd x8)
DM.eval
(do x24 <- do x22 <- do x9 <- Prelude.return x1
DM.funcCallHook "show"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x9]))
(Curry.DebugModule.Prelude.strict_show x9)
x23 <- do x20 <- do x10 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'm'))
x11 <- DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
(Prelude.return
Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x10, DI.genTerm x11]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons x10 x11))
x21 <- do x18 <- Prelude.return x2
x19 <- do x15 <- Prelude.return x2
x16 <- Prelude.return x3
x17 <- do x13 <- do x12 <- Prelude.return
x3
DM.funcCallHook
"isSuffixOf"
(DI.DebugInfo
(DI.SrcID
"AnsiCodes"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x12]))
(strict_isSuffixOf
x12)
x14 <- Prelude.return x2
DM.funcCallHook "apply"
(DI.DebugInfo
(DI.SrcID "AnsiCodes"
0)
(DI.DynamicInfo []
[DI.genTerm x13,
DI.genTerm x14]))
(Curry.DebugModule.Prelude.strict_apply
x13
x14)
DM.funcCallHook "_case_4"
(DI.DebugInfo
(DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x15,
DI.genTerm x16,
DI.genTerm x17]))
(strict__case_4 x15 x16 x17)
DM.funcCallHook "++"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x18, DI.genTerm x19]))
(Curry.DebugModule.Prelude.op_PlusPlus x18
x19)
DM.funcCallHook "++"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x20, DI.genTerm x21]))
(Curry.DebugModule.Prelude.op_PlusPlus x20 x21)
DM.funcCallHook "++"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x22, DI.genTerm x23]))
(Curry.DebugModule.Prelude.op_PlusPlus x22 x23)
DM.funcCallHook "cmd"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x24]))
(strict_cmd x24)))))
term_strict_mode x1 = DI.Term "mode" (DI.SrcID "AnsiCodes" 0) x1
strict_isSuffixOf ::
(DM.DM dm, DI.GenTerm a) =>
Curry.DebugModule.Prelude.List a ->
dm
(DM.Func dm (Curry.DebugModule.Prelude.List a)
Curry.DebugModule.Prelude.Bool)
strict_isSuffixOf x1
= DM.eval
(DM.funcDeclHook "isSuffixOf"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x5 <- do x4 <- do x2 <- DM.funcCallHook "reverse"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
Curry.DebugModule.Prelude.strict_reverse
x3 <- Prelude.return x1
DM.funcCallHook "apply"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x2, DI.genTerm x3]))
(Curry.DebugModule.Prelude.strict_apply x2 x3)
Prelude.return
(PC.partCall1
(Curry.DebugModule.List.term_strict_isPrefixOf [DI.genTerm x4])
(Curry.DebugModule.List.strict_isPrefixOf x4))
x6 <- DM.funcCallHook "reverse"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
Curry.DebugModule.Prelude.strict_reverse
DM.funcCallHook "."
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6]))
(Curry.DebugModule.Prelude.op_Point x5 x6)))
term_strict_isSuffixOf x1
= DI.Term "isSuffixOf" (DI.SrcID "AnsiCodes" 0) x1
strict_bold ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_bold
= DM.eval
(DM.funcDeclHook "bold"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos Curry.DebugModule.Prelude.IHi))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_underline ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_underline
= DM.eval
(DM.funcDeclHook "underline"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O Curry.DebugModule.Prelude.IHi))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_revColors ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_revColors
= DM.eval
(DM.funcDeclHook "revColors"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I Curry.DebugModule.Prelude.IHi))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_concealed ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_concealed
= DM.eval
(DM.funcDeclHook "concealed"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O Curry.DebugModule.Prelude.IHi)))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_black ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_black
= DM.eval
(DM.funcDeclHook "black"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I Curry.DebugModule.Prelude.IHi))))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_red ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_red
= DM.eval
(DM.funcDeclHook "red"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I Curry.DebugModule.Prelude.IHi))))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_green ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_green
= DM.eval
(DM.funcDeclHook "green"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_yellow ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_yellow
= DM.eval
(DM.funcDeclHook "yellow"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_blue ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_blue
= DM.eval
(DM.funcDeclHook "blue"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_magenta ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_magenta
= DM.eval
(DM.funcDeclHook "magenta"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_cyan ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_cyan
= DM.eval
(DM.funcDeclHook "cyan"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_white ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_white
= DM.eval
(DM.funcDeclHook "white"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_bgBlack ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_bgBlack
= DM.eval
(DM.funcDeclHook "bgBlack"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_bgRed ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_bgRed
= DM.eval
(DM.funcDeclHook "bgRed"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_bgGreen ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_bgGreen
= DM.eval
(DM.funcDeclHook "bgGreen"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_bgYellow ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_bgYellow
= DM.eval
(DM.funcDeclHook "bgYellow"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_bgBlue ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_bgBlue
= DM.eval
(DM.funcDeclHook "bgBlue"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_bgMagenta ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_bgMagenta
= DM.eval
(DM.funcDeclHook "bgMagenta"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_bgCyan ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_bgCyan
= DM.eval
(DM.funcDeclHook "bgCyan"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_bgWhite ::
(DM.DM dm) =>
dm
(DM.Func dm
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char)
(Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))
strict_bgWhite
= DM.eval
(DM.funcDeclHook "bgWhite"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(do x0 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))))
Prelude.return
(PC.partCall1 (term_strict_mode [DI.genTerm x0])
(strict_mode x0))))
strict_ansiLength ::
(DM.DM dm) =>
Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char ->
dm Curry.DebugModule.Prelude.Int
strict_ansiLength x1
= DM.eval
(DM.funcDeclHook "ansiLength"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x3 <- Prelude.return x1
x4 <- do x2 <- Prelude.return x1
DM.funcCallHook "length"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(Curry.DebugModule.Prelude.strict_length x2)
DM.funcCallHook "ansiLength.aux.95"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4]))
(x'xstrict_ansiLength46aux4695 x3 x4)))
term_strict_ansiLength x1
= DI.Term "ansiLength" (DI.SrcID "AnsiCodes" 0) x1
x'xstrict_ansiLength46aux4695 ::
(DM.DM dm) =>
Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char ->
Curry.DebugModule.Prelude.Int -> dm Curry.DebugModule.Prelude.Int
x'xstrict_ansiLength46aux4695 x1 x2
= DM.eval
(DM.funcDeclHook "ansiLength.aux.95"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x3 <- Prelude.return x2
x4 <- Prelude.return x1
DM.funcCallHook "_case_3"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4]))
(strict__case_3 x3 x4)))
x'xterm_strict_ansiLength46aux4695 x1
= DI.Term "ansiLength.aux.95" (DI.SrcID "AnsiCodes" 0) x1
strict__case_3 x2 x1
= DM.eval
(DM.funcDeclHook "_case_3"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x2, DI.genTerm x1]))
(do x16 <- Prelude.return x1
DM.caseHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" (- 1))
(DI.DynamicInfo [] [DI.genTerm x16]))
(case x16 of
Curry.DebugModule.Prelude.Nil
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(DM.eval (Prelude.return x2))
Curry.DebugModule.Prelude.Cons x3 x4
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x12 <- Prelude.return x2
x13 <- Prelude.return x3
x14 <- Prelude.return x4
x15 <- do x10 <- do x5 <- Prelude.return x3
x6 <- DM.funcCallHook "esc"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
strict_esc
DM.funcCallHook "=="
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x5, DI.genTerm x6]))
(Curry.DebugModule.Prelude.op_EqEq x5 x6)
x11 <- do x9 <- do x7 <- Prelude.return x4
x8 <- DM.litHook
(DI.DebugInfo
(DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))
DM.funcCallHook "!!"
(DI.DebugInfo
(DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x7,
DI.genTerm x8]))
(Curry.DebugModule.Prelude.op_EMarkEMark
x7
x8)
DM.funcCallHook "isDigit"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x9]))
(Curry.DebugModule.Char.strict_isDigit x9)
DM.funcCallHook "&&"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x10, DI.genTerm x11]))
(Curry.DebugModule.Prelude.op_AndAnd x10 x11)
DM.funcCallHook "_case_2"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x12, DI.genTerm x13, DI.genTerm x14,
DI.genTerm x15]))
(strict__case_2 x12 x13 x14 x15)))
_
-> DM.treatCase
(DM.nepRulesHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" (- 1))
(DI.DynamicInfo [] [DI.genTerm x16])))
(strict__case_3 x2)
x16)))
term_strict__case_3 x1
= DI.Term "_case_3" (DI.SrcID "AnsiCodes" 0) x1
strict__case_2 x2 x3 x4 x5
= DM.eval
(DM.funcDeclHook "_case_2"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x2, DI.genTerm x3, DI.genTerm x4, DI.genTerm x5]))
(do x20 <- Prelude.return x5
DM.caseHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x20]))
(case x20 of
Curry.DebugModule.Prelude.True
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x12 <- do x9 <- do x8 <- do x7 <- do x6 <- Prelude.return x4
DM.funcCallHook "tail"
(DI.DebugInfo
(DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x6]))
(Curry.DebugModule.Prelude.strict_tail
x6)
DM.funcCallHook "tail"
(DI.DebugInfo
(DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x7]))
(Curry.DebugModule.Prelude.strict_tail
x7)
DM.funcCallHook "tail"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x8]))
(Curry.DebugModule.Prelude.strict_tail x8)
DM.funcCallHook "tail"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x9]))
(Curry.DebugModule.Prelude.strict_tail x9)
x13 <- do x10 <- Prelude.return x2
x11 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi))))
DM.funcCallHook "-"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x10, DI.genTerm x11]))
(Curry.DebugModule.Prelude.op_Minus x10 x11)
DM.funcCallHook "ansiLength.aux.95"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x12, DI.genTerm x13]))
(x'xstrict_ansiLength46aux4695 x12 x13)))
Curry.DebugModule.Prelude.False
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x16 <- Prelude.return x2
x17 <- Prelude.return x3
x18 <- Prelude.return x4
x19 <- do x14 <- Prelude.return x3
x15 <- DM.funcCallHook "esc"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
strict_esc
DM.funcCallHook "=="
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x14, DI.genTerm x15]))
(Curry.DebugModule.Prelude.op_EqEq x14 x15)
DM.funcCallHook "_case_1"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x16, DI.genTerm x17, DI.genTerm x18,
DI.genTerm x19]))
(strict__case_1 x16 x17 x18 x19)))
_
-> DM.treatCase
(DM.nepCaseHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x20])))
(strict__case_2 x2 x3 x4)
x20)))
term_strict__case_2 x1
= DI.Term "_case_2" (DI.SrcID "AnsiCodes" 0) x1
strict__case_1 x2 x3 x4 x5
= DM.eval
(DM.funcDeclHook "_case_1"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x2, DI.genTerm x3, DI.genTerm x4, DI.genTerm x5]))
(do x16 <- Prelude.return x5
DM.caseHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x16]))
(case x16 of
Curry.DebugModule.Prelude.True
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x11 <- do x8 <- do x7 <- do x6 <- Prelude.return x4
DM.funcCallHook "tail"
(DI.DebugInfo
(DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x6]))
(Curry.DebugModule.Prelude.strict_tail
x6)
DM.funcCallHook "tail"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x7]))
(Curry.DebugModule.Prelude.strict_tail x7)
DM.funcCallHook "tail"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x8]))
(Curry.DebugModule.Prelude.strict_tail x8)
x12 <- do x9 <- Prelude.return x2
x10 <- DM.litHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi))))
DM.funcCallHook "-"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x9, DI.genTerm x10]))
(Curry.DebugModule.Prelude.op_Minus x9 x10)
DM.funcCallHook "ansiLength.aux.95"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x11, DI.genTerm x12]))
(x'xstrict_ansiLength46aux4695 x11 x12)))
Curry.DebugModule.Prelude.False
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x13 <- Prelude.return x2
x14 <- Prelude.return x4
x15 <- DM.funcCallHook "otherwise"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] []))
Curry.DebugModule.Prelude.strict_otherwise
DM.funcCallHook "_case_0"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo []
[DI.genTerm x13, DI.genTerm x14, DI.genTerm x15]))
(strict__case_0 x13 x14 x15)))
_
-> DM.treatCase
(DM.nepCaseHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x16])))
(strict__case_1 x2 x3 x4)
x16)))
term_strict__case_1 x1
= DI.Term "_case_1" (DI.SrcID "AnsiCodes" 0) x1
strict__case_0 x2 x4 x5
= DM.eval
(DM.funcDeclHook "_case_0"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x2, DI.genTerm x4, DI.genTerm x5]))
(do x8 <- Prelude.return x5
DM.caseHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x8]))
(case x8 of
Curry.DebugModule.Prelude.True
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x6 <- Prelude.return x4
x7 <- Prelude.return x2
DM.funcCallHook "ansiLength.aux.95"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x6, DI.genTerm x7]))
(x'xstrict_ansiLength46aux4695 x6 x7)))
Curry.DebugModule.Prelude.False
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(DM.eval
(DM.funcCallHook "failed"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
Curry.DebugModule.Prelude.strict_failed))
_
-> DM.treatCase
(DM.nepCaseHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x8])))
(strict__case_0 x2 x4)
x8)))
term_strict__case_0 x1
= DI.Term "_case_0" (DI.SrcID "AnsiCodes" 0) x1
strict__case_4 x2 x3 x4
= DM.eval
(DM.funcDeclHook "_case_4"
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x2, DI.genTerm x3, DI.genTerm x4]))
(do x5 <- Prelude.return x4
DM.caseHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x5]))
(case x5 of
Curry.DebugModule.Prelude.True
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(DM.eval
(DM.constructorHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Nil)))
Curry.DebugModule.Prelude.False
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0) (DI.DynamicInfo [] []))
(DM.eval (Prelude.return x3))
_
-> DM.treatCase
(DM.nepCaseHook
(DI.DebugInfo (DI.SrcID "AnsiCodes" 0)
(DI.DynamicInfo [] [DI.genTerm x5])))
(strict__case_4 x2 x3)
x5)))
term_strict__case_4 x1
= DI.Term "_case_4" (DI.SrcID "AnsiCodes" 0) x1