Top-1.7: Constraint solving framework employed by the Helium Compiler.

Safe Haskell	Safe-Infered

Top.Solver

Description

Synopsis

Documentation

data ConstraintSolver constraint info Source

Constructors

ConstraintSolver (SolveOptions -> [constraint] -> (SolveResult info, LogEntries))

makeConstraintSolver :: Empty (f () (BasicMonad f)) => (SolveOptions -> [constraint] -> BasicMonad f (SolveResult info)) -> ConstraintSolver constraint infoSource

solve :: SolveOptions -> [constraint] -> ConstraintSolver constraint info -> (SolveResult info, LogEntries)Source

onlySolveConstraints :: (HasTI m info, HasBasic m info, HasSubst m info, HasQual m info, TypeConstraintInfo info, Solvable constraint m, MonadState s m, SolveState s, MonadWriter LogEntries m) => [constraint] -> m ()Source

solveConstraints :: (HasTI m info, HasBasic m info, HasSubst m info, HasQual m info, TypeConstraintInfo info, Solvable constraint m, MonadState s m, SolveState s, MonadWriter LogEntries m) => SolveOptions -> [constraint] -> m (SolveResult info)Source

solveResult :: (HasBasic m info, HasTI m info, HasSubst m info, HasQual m info, TypeConstraintInfo info) => m (SolveResult info)Source

data SolveResult info Source

Constructors

SolveResult
Fields uniqueFromResult :: Int substitutionFromResult :: FixpointSubstitution typeschemesFromResult :: Map Int (Scheme Predicates) qualifiersFromResult :: Predicates errorsFromResult :: [(info, ErrorLabel)]

Instances

Empty (SolveResult info)

emptyResult :: Int -> SolveResult infoSource

combineResults :: SolveResult info -> SolveResult info -> SolveResult infoSource

data SolveOptions Source

Constructors

SolveOptions_
Fields uniqueCounter :: Int typeSynonyms :: OrderedTypeSynonyms classEnvironment :: ClassEnvironment setStopAfterFirstError :: Bool setCheckConditions :: Bool

solveOptions :: SolveOptions Source

initialize :: (HasBasic m info, HasQual m info, HasTI m info, Substitutable a) => a -> SolveOptions -> m ()Source

type BasicMonad f = StateFixT (f ()) (Writer LogEntries)Source

newtype LogEntries Source

Constructors

LogEntries ([LogEntry] -> [LogEntry])

Instances

Show LogEntries
Monoid LogEntries

data LogEntry Source

Constructors

LogEntry
Fields priority :: Int msg :: String

Instances

noLogEntries :: LogEntries Source

singleEntry :: Int -> String -> LogEntries Source

evalBasicMonad :: Empty (f () (BasicMonad f)) => BasicMonad f a -> (a, LogEntries)Source

logMsg :: MonadWriter LogEntries m => String -> m ()Source

logMsgPrio :: MonadWriter LogEntries m => Int -> String -> m ()Source

logState :: (MonadState s m, SolveState s, MonadWriter LogEntries m) => m ()Source

Print the current state and add this as a debug message.

module Control.Monad.Writer