lio-0.0.1: Labeled IO library

LIO.HiStar

Documentation

withDefaults :: a -> a -> (a -> a -> b) -> Maybe a -> Maybe a -> bSource

assocs2 :: Ord k => Map k v1 -> Map k v2 -> [(k, Maybe v1, Maybe v2)]Source

mergeWith :: Ord k => (Maybe a -> Maybe b -> Maybe c) -> Map k a -> Map k b -> Map k cSource

data HSState Source

Constructors

HSState 

Instances

evalHS :: HS t -> IO (t, HSLabel)Source

module LIO.Base