multiverse-debugging-0.2.0.1: A framework for multiverse debugging
Safe HaskellSafe-Inferred
LanguageHaskell2010

MVD.Finders

Documentation

type Step c a l = TR c a -> Graph c a -> (c -> l) -> Graph c a Source #

type Label c a l = Graph c a -> c -> l Source #

data SearchStrategy c a l Source #

Constructors

SearchStrategy 

Fields

class Labelling l where Source #

Methods

isAccepting :: l -> Bool Source #

Instances

Instances details
Labelling SimpleLabel Source # 
Instance details

Defined in MVD.Finders

Methods

isAccepting :: SimpleLabel -> Bool Source #

extractAccepting :: Labelling l => (c -> l) -> Graph c a -> Set c Source #

mfinder :: (Ord c, Ord a, Labelling l) => SearchStrategy c a l -> STR c a m -> Graph c a -> (Graph c a, Set c) Source #

data SimpleLabel Source #

Constructors

Accepted 
Disabled 
Enabled 

Instances

Instances details
Show SimpleLabel Source # 
Instance details

Defined in MVD.Finders

Methods

showsPrec :: Int -> SimpleLabel -> ShowS #

show :: SimpleLabel -> String #

showList :: [SimpleLabel] -> ShowS #

Eq SimpleLabel Source # 
Instance details

Defined in MVD.Finders

Methods

(==) :: SimpleLabel -> SimpleLabel -> Bool #

(/=) :: SimpleLabel -> SimpleLabel -> Bool #

Ord SimpleLabel Source # 
Instance details

Defined in MVD.Finders

Methods

compare :: SimpleLabel -> SimpleLabel -> Ordering #

(<) :: SimpleLabel -> SimpleLabel -> Bool #

(<=) :: SimpleLabel -> SimpleLabel -> Bool #

(>) :: SimpleLabel -> SimpleLabel -> Bool #

(>=) :: SimpleLabel -> SimpleLabel -> Bool #

max :: SimpleLabel -> SimpleLabel -> SimpleLabel #

min :: SimpleLabel -> SimpleLabel -> SimpleLabel #

Labelling SimpleLabel Source # 
Instance details

Defined in MVD.Finders

Methods

isAccepting :: SimpleLabel -> Bool Source #

joinSimpleLabel :: (c -> SimpleLabel) -> (c -> SimpleLabel) -> c -> SimpleLabel Source #

ljoin :: SimpleLabel -> SimpleLabel -> SimpleLabel Source #

enabledLeavesStepper :: (Ord c, Ord a) => Step c a SimpleLabel Source #

leavesReducer :: Ord c => Label c a SimpleLabel Source #

redReducer :: (Ord alpha, Ord a, Eq c, Reduce r c alpha) => r -> Label c a SimpleLabel Source #

estateBreaker :: (Eq c, Evaluate e c Bool) => e -> Label c a SimpleLabel Source #

originalBreakerReducer :: (Reduce r c alpha, Evaluate e c Bool, Eq c, Ord a, Ord alpha) => r -> e -> Label c a SimpleLabel Source #