mad-props-0.1.0.0: Monadic DSL for building constraint solvers using basic propagators.

Safe HaskellNone
LanguageHaskell2010

Props.Internal.Graph

Documentation

data Graph Source #

Instances
Show Graph Source # 
Instance details

Defined in Props.Internal.Graph

Methods

showsPrec :: Int -> Graph -> ShowS #

show :: Graph -> String #

showList :: [Graph] -> ShowS #

valueAt :: Vertex -> Lens' Graph Quantum Source #

imAsList :: Iso' (IntMap v) [(Vertex', v)] Source #

edgesFrom :: Vertex -> Traversal' Graph (Vertex, DFilter) Source #

edges :: Vertex -> Lens' Graph (IntMap DFilter) Source #

vertices :: Lens' Graph (IntMap (Quantum, IntMap DFilter)) Source #

newtype Vertex Source #

Constructors

Vertex Int 
Instances
Eq Vertex Source # 
Instance details

Defined in Props.Internal.Graph

Methods

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

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

Ord Vertex Source # 
Instance details

Defined in Props.Internal.Graph

Methods

compare :: Vertex -> Vertex -> Ordering #

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

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

(>) :: Vertex -> Vertex -> Bool #

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

max :: Vertex -> Vertex -> Vertex #

min :: Vertex -> Vertex -> Vertex #

Show Vertex Source # 
Instance details

Defined in Props.Internal.Graph

Methods

showsPrec :: Int -> Vertex -> ShowS #

show :: Vertex -> String #

showList :: [Vertex] -> ShowS #

data Quantum Source #

Constructors

(Show (SuperPos f), Typeable f, Typeable (Element f), MonoFoldable f) => Quantum 

Fields

Instances
Show Quantum Source # 
Instance details

Defined in Props.Internal.Graph

Methods

showsPrec :: Int -> Quantum -> ShowS #

show :: Quantum -> String #

showList :: [Quantum] -> ShowS #

data SuperPos f where Source #

Constructors

Observed :: MonoFoldable f => Element f -> SuperPos f 
Unknown :: MonoFoldable f => f -> SuperPos f 
Instances
Show (SuperPos f) Source # 
Instance details

Defined in Props.Internal.Graph

Methods

showsPrec :: Int -> SuperPos f -> ShowS #

show :: SuperPos f -> String #

showList :: [SuperPos f] -> ShowS #

_Observed :: (Show (Element f), MonoFoldable f) => Prism' (SuperPos f) (Element f) Source #

_Unknown :: (Show f, Show (Element f), MonoFoldable f) => Prism' (SuperPos f) f Source #

type DFilter = Dynamic Source #

type DChoice = Dynamic Source #

forceDyn :: forall a. Typeable a => Dynamic -> a Source #

values :: Traversal' Graph (Vertex, Quantum) Source #

entropyOfQ :: Quantum -> Maybe Int Source #

emptyGraph :: Graph Source #

edgeBetween :: Vertex -> Vertex -> Lens' Graph (Maybe DFilter) Source #

vertexCount :: Lens' Graph Int Source #

superPos :: (Typeable f, Typeable (Element f), MonoFoldable f) => Traversal' Quantum (SuperPos f) Source #