Searched refs:MutualBlock (Results 1 – 2 of 2) sorted by relevance
41 f Nothing = Just $ MutualBlock info empty42 f (Just (MutualBlock _ xs)) = Just $ MutualBlock info xs49 f Nothing = Just $ MutualBlock info empty50 f (Just mb@(MutualBlock info0 xs))51 | null info0 = Just $ MutualBlock info xs61 f Nothing = Just $ MutualBlock empty $ Set.singleton x62 f (Just (MutualBlock mi xs)) = Just $ MutualBlock mi $ Set.insert x xs69 lookupMutualBlock :: MutualId -> TCM MutualBlock
263 , stPostMutualBlocks :: !(Map MutualId MutualBlock)284 data MutualBlock = MutualBlock type290 instance Null MutualBlock where291 empty = MutualBlock empty empty660 stMutualBlocks :: Lens' (Map MutualId MutualBlock) TCState4655 instance NFData MutualBlock