Safe Haskell | None |
---|
- noMutualBlock :: TCM a -> TCM a
- inMutualBlock :: TCM a -> TCM a
- setMutualBlock :: MutualId -> QName -> TCM ()
- getMutualBlocks :: TCM [Set QName]
- currentOrFreshMutualBlock :: TCM MutualId
- lookupMutualBlock :: MutualId -> TCM (Set QName)
- findMutualBlock :: QName -> TCM (Set QName)
Documentation
noMutualBlock :: TCM a -> TCM aSource
inMutualBlock :: TCM a -> TCM aSource
setMutualBlock :: MutualId -> QName -> TCM ()Source
Set the mutual block for a definition
getMutualBlocks :: TCM [Set QName]Source
Get all mutual blocks
currentOrFreshMutualBlock :: TCM MutualIdSource
Get the current mutual block, if any, otherwise a fresh mutual block is returned.
lookupMutualBlock :: MutualId -> TCM (Set QName)Source
findMutualBlock :: QName -> TCM (Set QName)Source