Safe Haskell | Safe-Infered |
---|
- noMutualBlock :: TCM a -> TCM a
- inMutualBlock :: TCM a -> TCM a
- setMutualBlock :: MutualId -> QName -> TCM ()
- getMutualBlocks :: TCM [Set QName]
- currentMutualBlock :: TCM MutualId
- lookupMutualBlock :: MutualId -> TCM (Set QName)
- findMutualBlock :: QName -> TCM (Set QName)
Documentation
noMutualBlock :: TCM a -> TCM aSource
inMutualBlock :: TCM a -> TCM aSource
getMutualBlocks :: TCM [Set QName]Source
Get all mutual blocks
currentMutualBlock :: TCM MutualIdSource
Get the current mutual block.