Props.Internal.Graph

Documentation

data Graph

Instances

Show Graph

Defined in Props.Internal.Graph

Methods

showsPrec :: Int -> Graph -> ShowS

show :: Graph -> String

showList :: [Graph] -> ShowS

valueAt :: Vertex -> Lens' Graph Quantum

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

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

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

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

newtype Vertex

Constructors

Vertex Int

Instances

Eq Vertex

Defined in Props.Internal.Graph

Methods

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

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

Ord Vertex

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

Defined in Props.Internal.Graph

Methods

showsPrec :: Int -> Vertex -> ShowS

show :: Vertex -> String

showList :: [Vertex] -> ShowS

data Quantum

Constructors

(Show (SuperPos f a), Typeable f, Typeable a, Foldable f) => Quantum

Fields

• options :: SuperPos f a

Instances

Show Quantum

Defined in Props.Internal.Graph

Methods

showsPrec :: Int -> Quantum -> ShowS

show :: Quantum -> String

showList :: [Quantum] -> ShowS

data SuperPos f a where

Constructors

Observed :: Foldable f => a -> SuperPos f a

Unknown :: Foldable f => f a -> SuperPos f a

Instances

Show (SuperPos f a)

Defined in Props.Internal.Graph

Methods

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

show :: SuperPos f a -> String

showList :: [SuperPos f a] -> ShowS

_Observed :: Foldable f => Prism' (SuperPos f a) a

_Unknown :: Foldable f => Prism' (SuperPos f a) (f a)

type DFilter = Dynamic

type DChoice = Dynamic

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

values :: Traversal' Graph (Vertex, Quantum)

entropyOfQ :: Quantum -> Maybe Int

emptyGraph :: Graph

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

vertexCount :: Lens' Graph Int

superPos :: (Typeable f, Typeable a) => Traversal' Quantum (SuperPos f a)