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