Exported names:
- Datatypes:
- Observer
- Operations:
- clearLogFile
- ensureCoosyLogDir
- o0
- o1
- o2
- o3
- o4
- o4Tuple
- o5
- o5Tuple
- observe
- observeG
- oBool
- oChar
- oEither
- oFloat
- oFun
- oFunFG
- oFunG
- oInt
- oList
- oLit
- oMaybe
- oOpaque
- oOpaqueConstr
- oPair
- oString
- oTriple
- ~>
- ~~>
- ~~~>
Imported modules:

Module Observe

The Oberserve library containing combinators to observe data.

Author: Bernd Brassle, Olaf Chitil, Michael Hanus, Frank Huch

Version: September 2024

Summary of exported operations:

observe
                  :: Data a => (a -> String -> Int -> [Int] -> a) -> String -> a -> a

The basic operation to observe the evaluation of data structures.

observeG
                  ::  (a -> String -> Int -> [Int] -> a) -> String -> a -> a

The basic operation to observe the evaluation of ground data structures.

oLit
                  :: Show a => a -> String -> Int -> [Int] -> a

oInt
                  ::  Int -> String -> Int -> [Int] -> Int

oBool
                  ::  Bool -> String -> Int -> [Int] -> Bool

oChar
                  ::  Char -> String -> Int -> [Int] -> Char

oFloat
                  ::  Float -> String -> Int -> [Int] -> Float

oOpaque
                  ::  a -> String -> Int -> [Int] -> a

oOpaqueConstr
                  ::  String -> a -> String -> Int -> [Int] -> a

oList
                  :: Data a => (a -> String -> Int -> [Int] -> a) -> [a] -> String -> Int -> [Int] -> [a]

oString
                  ::  String -> String -> Int -> [Int] -> String

oPair
                  :: (Data a, Data b) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (a,b) -> String -> Int -> [Int] -> (a,b)

oTriple
                  :: (Data a, Data b, Data c) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (c -> String -> Int -> [Int] -> c) -> (a,b,c) -> String -> Int -> [Int] -> (a,b,c)

o4Tuple
                  :: (Data a, Data b, Data c, Data d) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (c -> String -> Int -> [Int] -> c) -> (d -> String -> Int -> [Int] -> d) -> (a,b,c,d) -> String -> Int -> [Int] -> (a,b,c,d)

o5Tuple
                  :: (Data a, Data b, Data c, Data d, Data e) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (c -> String -> Int -> [Int] -> c) -> (d -> String -> Int -> [Int] -> d) -> (e -> String -> Int -> [Int] -> e) -> (a,b,c,d,e) -> String -> Int -> [Int] -> (a,b,c,d,e)

oMaybe
                  :: Data a => (a -> String -> Int -> [Int] -> a) -> Maybe a -> String -> Int -> [Int] -> Maybe a

oEither
                  :: (Data a, Data b) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> Either a b -> String -> Int -> [Int] -> Either a b

oFun
                  :: (Data a, Data b) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (a -> b) -> String -> Int -> [Int] -> a -> b

(~>)
                  :: (Data a, Data b) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (a -> b) -> String -> Int -> [Int] -> a -> b

oFunFG
                  :: Data a => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (a -> b) -> String -> Int -> [Int] -> a -> b

(~~>)
                  :: Data a => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (a -> b) -> String -> Int -> [Int] -> a -> b

oFunG
                  ::  (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (a -> b) -> String -> Int -> [Int] -> a -> b

(~~~>)
                  ::  (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (a -> b) -> String -> Int -> [Int] -> a -> b

o0
                  ::  String -> a -> String -> Int -> [Int] -> a

o1
                  :: Data a => (a -> String -> Int -> [Int] -> a) -> String -> (a -> b) -> a -> String -> Int -> [Int] -> b

o2
                  :: (Data a, Data b) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> String -> (a -> b -> c) -> a -> b -> String -> Int -> [Int] -> c

o3
                  :: (Data a, Data b, Data c) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (c -> String -> Int -> [Int] -> c) -> String -> (a -> b -> c -> d) -> a -> b -> c -> String -> Int -> [Int] -> d

o4
                  :: (Data a, Data b, Data c, Data d) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (c -> String -> Int -> [Int] -> c) -> (d -> String -> Int -> [Int] -> d) -> String -> (a -> b -> c -> d -> e) -> a -> b -> c -> d -> String -> Int -> [Int] -> e

o5
                  :: (Data a, Data b, Data c, Data d, Data e) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (c -> String -> Int -> [Int] -> c) -> (d -> String -> Int -> [Int] -> d) -> (e -> String -> Int -> [Int] -> e) -> String -> (a -> b -> c -> d -> e -> f) -> a -> b -> c -> d -> e -> String -> Int -> [Int] -> f

clearLogFile
                  ::  IO ()

ensureCoosyLogDir
                  ::  IO ()

Exported datatypes:

Observer

Type synonym: Observer a = a -> Label -> EventID -> [EventID] -> a

Exported operations:

observe :: Data a => (a -> String -> Int -> [Int] -> a) -> String -> a -> a

The basic operation to observe the evaluation of data structures. It has a Data context so that it can also observe the instantiation of free variables occurring in data structures.

Further infos:

might behave indeterministically

observeG :: (a -> String -> Int -> [Int] -> a) -> String -> a -> a

The basic operation to observe the evaluation of ground data structures. It does not require a Data context but it can not observe the instantiation of free variables occurring in data structures. Thus, it has to be ensured that free variables do not occur in the observed structures, otherwise this observer always suspends.

Further infos:

might behave indeterministically

oLit :: Show a => a -> String -> Int -> [Int] -> a

Further infos:

might behave indeterministically

oInt :: Int -> String -> Int -> [Int] -> Int

Further infos:

might behave indeterministically

oBool :: Bool -> String -> Int -> [Int] -> Bool

Further infos:

might behave indeterministically

oChar :: Char -> String -> Int -> [Int] -> Char

Further infos:

might behave indeterministically

oFloat :: Float -> String -> Int -> [Int] -> Float

Further infos:

might behave indeterministically

oOpaque :: a -> String -> Int -> [Int] -> a

Further infos:

might behave indeterministically

oOpaqueConstr :: String -> a -> String -> Int -> [Int] -> a

Further infos:

might behave indeterministically

oList :: Data a => (a -> String -> Int -> [Int] -> a) -> [a] -> String -> Int -> [Int] -> [a]

Further infos:

might behave indeterministically

oString :: String -> String -> Int -> [Int] -> String

Further infos:

might behave indeterministically

oPair :: (Data a, Data b) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (a,b) -> String -> Int -> [Int] -> (a,b)

Further infos:

might behave indeterministically

oTriple :: (Data a, Data b, Data c) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (c -> String -> Int -> [Int] -> c) -> (a,b,c) -> String -> Int -> [Int] -> (a,b,c)

Further infos:

might behave indeterministically

o4Tuple :: (Data a, Data b, Data c, Data d) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (c -> String -> Int -> [Int] -> c) -> (d -> String -> Int -> [Int] -> d) -> (a,b,c,d) -> String -> Int -> [Int] -> (a,b,c,d)

Further infos:

might behave indeterministically

o5Tuple :: (Data a, Data b, Data c, Data d, Data e) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (c -> String -> Int -> [Int] -> c) -> (d -> String -> Int -> [Int] -> d) -> (e -> String -> Int -> [Int] -> e) -> (a,b,c,d,e) -> String -> Int -> [Int] -> (a,b,c,d,e)

Further infos:

might behave indeterministically

oMaybe :: Data a => (a -> String -> Int -> [Int] -> a) -> Maybe a -> String -> Int -> [Int] -> Maybe a

Further infos:

might behave indeterministically

oEither :: (Data a, Data b) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> Either a b -> String -> Int -> [Int] -> Either a b

Further infos:

might behave indeterministically

oFun :: (Data a, Data b) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (a -> b) -> String -> Int -> [Int] -> a -> b

Further infos:

might behave indeterministically

(~>) :: (Data a, Data b) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (a -> b) -> String -> Int -> [Int] -> a -> b

Further infos:

defined as right-associative infix operator with precedence 5
might behave indeterministically

oFunFG :: Data a => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (a -> b) -> String -> Int -> [Int] -> a -> b

Further infos:

might behave indeterministically

(~~>) :: Data a => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (a -> b) -> String -> Int -> [Int] -> a -> b

Further infos:

defined as right-associative infix operator with precedence 5
might behave indeterministically

oFunG :: (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (a -> b) -> String -> Int -> [Int] -> a -> b

Further infos:

might behave indeterministically

(~~~>) :: (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (a -> b) -> String -> Int -> [Int] -> a -> b

Further infos:

defined as right-associative infix operator with precedence 5
might behave indeterministically

o0 :: String -> a -> String -> Int -> [Int] -> a

Further infos:

might behave indeterministically

o1 :: Data a => (a -> String -> Int -> [Int] -> a) -> String -> (a -> b) -> a -> String -> Int -> [Int] -> b

Further infos:

might behave indeterministically

o2 :: (Data a, Data b) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> String -> (a -> b -> c) -> a -> b -> String -> Int -> [Int] -> c

Further infos:

might behave indeterministically

o3 :: (Data a, Data b, Data c) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (c -> String -> Int -> [Int] -> c) -> String -> (a -> b -> c -> d) -> a -> b -> c -> String -> Int -> [Int] -> d

Further infos:

might behave indeterministically

o4 :: (Data a, Data b, Data c, Data d) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (c -> String -> Int -> [Int] -> c) -> (d -> String -> Int -> [Int] -> d) -> String -> (a -> b -> c -> d -> e) -> a -> b -> c -> d -> String -> Int -> [Int] -> e

Further infos:

might behave indeterministically

o5 :: (Data a, Data b, Data c, Data d, Data e) => (a -> String -> Int -> [Int] -> a) -> (b -> String -> Int -> [Int] -> b) -> (c -> String -> Int -> [Int] -> c) -> (d -> String -> Int -> [Int] -> d) -> (e -> String -> Int -> [Int] -> e) -> String -> (a -> b -> c -> d -> e -> f) -> a -> b -> c -> d -> e -> String -> Int -> [Int] -> f

Further infos:

might behave indeterministically

clearLogFile :: IO ()

ensureCoosyLogDir :: IO ()

Exported names:

Imported modules:

Summary of exported operations:

Exported datatypes:

Exported operations: