Module Observe

Summary of exported operations:

clearLogFile
                  ::  IO ()

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

oLit
                  ::  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

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

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

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

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

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

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

oTriple
                  ::  (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
                  ::  (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
                  ::  (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
                  ::  (a -> String -> Int -> [Int] -> a) -> Maybe a -> String -> Int -> [Int] -> Maybe a

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

oFun
                  ::  (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
                  ::  (a -> String -> Int -> [Int] -> a) -> String -> (a -> b) -> a -> String -> Int -> [Int] -> b

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

o3
                  ::  (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
                  ::  (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
                  ::  (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

Exported datatypes:

Observer

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

Exported operations:

clearLogFile :: IO ()

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

oLit :: 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

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

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

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

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

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

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

oTriple :: (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 :: (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 :: (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 :: (a -> String -> Int -> [Int] -> a) -> Maybe a -> String -> Int -> [Int] -> Maybe a

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

oFun :: (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

Further infos:

defined as right-associative infix operator with precedence 5

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

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

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

o3 :: (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 :: (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 :: (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