Safe Haskell	None
Language	Haskell2010

Debug.TracedInternal

Synopsis

Documentation

data Traced a Source

Traced values of some type.

Instances

Liftable Bool (Traced Bool)
Liftable Double (Traced Double)
Liftable Float (Traced Float)
Liftable Int (Traced Int)
Liftable Integer (Traced Integer)
Liftable Ordering (Traced Ordering)
Liftable () (Traced ())
(Traceable a, Enum a) => Enum (Traced a)
Eq a => Eq (Traced a)
(Traceable a, Floating a) => Floating (Traced a)
(Traceable a, Fractional a) => Fractional (Traced a)
(Traceable a, Integral a) => Integral (Traced a)
Data a => Data (Traced a)
(Traceable a, Num a) => Num (Traced a)
Ord a => Ord (Traced a)
(Read a, Traceable a) => Read (Traced a)
(Traceable a, Real a) => Real (Traced a)
(Traceable a, RealFloat a) => RealFloat (Traced a)
(Traceable a, RealFrac a) => RealFrac (Traced a)
Show a => Show (Traced a)
Typeable (* -> *) Traced
(Traceable a, Liftable b tb) => Liftable (a -> b) (Traced a -> tb)

traced :: Traceable a => a -> Traced a Source

Create a traced value.

named :: Traceable a => String -> a -> Traced a Source

Create a named traced value.

nameTraced :: Traceable a => String -> Traced a -> Traced a Source

Add a named to a traced value.

unknown :: Traceable a => String -> Traced a Source

Create a named thing with no value. Cannot be used where a real value is needed.

unTraced :: Traced a -> a Source

Extract the real value from a traced value.

tracedD :: Traceable a => Traced a -> TracedD Source

Extract the expression tree from a traced value.

data TraceLevel Source

Constructors

TLValue
TLExp
TLFullExp

Instances

Eq TraceLevel
Data TraceLevel
Ord TraceLevel
Show TraceLevel
Typeable * TraceLevel

class (Typeable a, Show a) => Traceable a where Source

Methods

trPPrint :: TraceLevel -> Int -> a -> Doc Source

Instances

(Typeable * a, Show a) => Traceable a

data TracedD Source

Expression tree for a traced value.

Constructors

NoValue	unknown value
forall a . Name Bool Name TracedD	value with a name
forall a . Traceable a => Con a	constant
forall a . Traceable a => Apply a Name Fixity [TracedD]	application
forall a . Let [(Name, TracedD)] TracedD	(recovered) let expression

Instances

Eq TracedD
Data TracedD
Ord TracedD
Show TracedD
Typeable * TracedD

unTracedD :: Traceable a => TracedD -> Maybe (Traced a) Source

Convert an expression tree to a traced value, if the types are correct.

binOp :: (Traceable a, Traceable b, Traceable c) => (a -> b -> c) -> (String, Fixity) -> Traced a -> Traced b -> Traced c Source

unOp :: (Traceable a, Traceable b) => (a -> b) -> String -> Traced a -> Traced b Source

apply :: Traceable a => a -> Name -> Fixity -> [TracedD] -> Traced a Source

Create a traced value with an Apply expression tree.

liftT :: Liftable a b => Name -> Fixity -> a -> b Source

liftFun :: Liftable a b => Name -> a -> b Source

class Liftable a b | a -> b, b -> a where Source

Methods

liftT' :: Name -> Fixity -> [TracedD] -> a -> b Source

Instances

Liftable Bool (Traced Bool)
Liftable Double (Traced Double)
Liftable Float (Traced Float)
Liftable Int (Traced Int)
Liftable Integer (Traced Integer)
Liftable Ordering (Traced Ordering)
Liftable () (Traced ())
(Traceable a, Liftable b tb) => Liftable (a -> b) (Traced a -> tb)

baseLiftT :: Traceable a => Name -> Fixity -> [TracedD] -> a -> Traced a Source

data Fixity Source

Fixity for identifier.

Constructors

InfixL Int
InfixR Int
Infix Int
Nonfix

Instances

Eq Fixity
Ord Fixity
Show Fixity

showAsExp :: Traceable a => Traced a -> String Source

Show the expression tree of a traced value.

showAsExpFull :: Traceable a => Traced a -> String Source

Show the expression tree of a traced value, also show the value of each variable.

pPrintTraced :: Traceable a => TraceLevel -> Int -> Traced a -> Doc Source

reShare :: Traceable a => Traced a -> Traced a Source

simplify :: Traced a -> Traced a Source

Simplify an expression tree.