Type.Squid.Solve

Documentation

squidSolve :: [CTree] -> Map Var Var -> Map String Var -> SquidS

solve :: [CTree] -> SquidM ()

solveCs :: [CTree] -> SquidM Bool

solveUpdate :: SquidM ()

resolveUnify :: Set ClassId -> SquidM (Set ClassId)

runOnTouched :: (ClassId -> SquidM ()) -> SquidM [ClassId]

solveFinalise :: SquidM ()

Produced by Haddock version 0.7