Documentation
Metavar | |
|
hequalMetavar :: Metavar a1 blk1 -> Metavar a2 bkl2 -> BoolSource
data SubConstraints blk Source
newSubConstraints :: CTree blk -> IO (SubConstraints blk)Source
ureadIORef :: IORef a -> Undo aSource
uwriteIORef :: IORef a -> a -> Undo ()Source
umodifyIORef :: IORef a -> (a -> a) -> Undo ()Source
ureadmodifyIORef :: IORef a -> (a -> a) -> Undo aSource
type RefCreateEnv blk = StateT (IORef [SubConstraints blk], Int) IOSource
class Refinable a blk | a -> blk whereSource
refinements :: blk -> [blk] -> Metavar a blk -> IO [(Int, RefCreateEnv blk a)]Source
newPlaceholder :: RefCreateEnv blk (MM a blk)Source
newOKHandle :: RefCreateEnv blk (OKHandle blk)Source
dryInstantiate :: RefCreateEnv blk a -> IO aSource
mmmcase :: Refinable a blk => MM a blk -> MetaEnv (MB b blk) -> (a -> MetaEnv (MB b blk)) -> MetaEnv (MB b blk)Source
mmpcase :: Refinable a blk => BlkInfo blk -> MM a blk -> (a -> MetaEnv (PB blk)) -> MetaEnv (PB blk)Source
doubleblock :: (Refinable a blk, Refinable b blk) => MM a blk -> MM b blk -> MetaEnv (PB blk) -> MetaEnv (PB blk)Source
mbpcase :: Prio -> Maybe blk -> MetaEnv (MB a blk) -> (a -> MetaEnv (PB blk)) -> MetaEnv (PB blk)Source
mmbpcase :: MetaEnv (MB a blk) -> (forall b. Refinable b blk => MM b blk -> MetaEnv (PB blk)) -> (a -> MetaEnv (PB blk)) -> MetaEnv (PB blk)Source
expandbind :: MM a blk -> MetaEnv (MM a blk)Source
topSearch :: forall blk. IORef Int -> IORef Int -> HandleSol -> blk -> MetaEnv (PB blk) -> Int -> Int -> IO BoolSource
extractblkinfos :: Metavar a blk -> IO [blk]Source
propagatePrio :: CTree blk -> Undo [OKMeta blk]Source