Debug.TracedInternal

Documentation

data Traced a

Traced values of some type.

Instances

Typeable1 Traced

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)

(Traceable a, Liftable b tb) => Liftable (a -> b) (Traced a -> tb)

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

Create a traced value.

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

Create a named traced value.

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

Add a named to a traced value.

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

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

unTraced :: Traced a -> a

Extract the real value from a traced value.

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

Extract the expression tree from a traced value.

data TraceLevel

Constructors

TLValue

TLExp

TLFullExp

Instances

Eq TraceLevel

Data TraceLevel

Ord TraceLevel

Show TraceLevel

Typeable TraceLevel

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

Methods

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

Instances

(Typeable a, Show a) => Traceable a

data TracedD

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)

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

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

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

Create a traced value with an Apply expression tree.

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

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

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

Methods

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

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

data Fixity

Fixity for identifier.

Constructors

InfixL Int

InfixR Int

Infix Int

Nonfix

Instances

Eq Fixity

Ord Fixity

Show Fixity

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

Show the expression tree of a traced value.

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

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

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

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

simplify :: Traced a -> Traced a

Simplify an expression tree.