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

newtype HSCategory Source

data HSLevel Source

data HSLabel Source

combineLabel :: (HSLevel -> HSLevel -> HSLevel) -> HSLabel -> HSLabel -> HSLabelSource

lupdate :: HSLabel -> HSCategory -> HSLevel -> HSLabelSource

lupdates :: HSLabel -> [HSCategory] -> HSLevel -> HSLabelSource

lapply :: HSLabel -> HSCategory -> HSLevelSource

newtype HSPrivs Source

data HSState Source

type HS a = LIO HSLabel HSState aSource

newcat :: HSLevel -> HS (HSPrivs, HSLabel)Source

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

module LIO.Base