Data.DecisionDiagram.BDD.Internal.ItemOrder

Contents

Description

Synopsis

class ItemOrder a where
- compareItem :: proxy a -> Int -> Int -> Ordering
data AscOrder
data DescOrder
withDefaultOrder :: forall r. (forall a. ItemOrder a => Proxy a -> r) -> r
withAscOrder :: forall r. (Proxy AscOrder -> r) -> r
withDescOrder :: forall r. (Proxy DescOrder -> r) -> r
withCustomOrder :: forall r. (Int -> Int -> Ordering) -> (forall a. ItemOrder a => Proxy a -> r) -> r
newtype OrderedItem a = OrderedItem Int
data Level a
- = NonTerminal !Int
- | Terminal

Item ordering

Methods

Instances details

ItemOrder DescOrder Source #
Instance details Defined in Data.DecisionDiagram.BDD.Internal.ItemOrder Methods compareItem :: proxy DescOrder -> Int -> Int -> Ordering Source #
ItemOrder AscOrder Source #
Instance details Defined in Data.DecisionDiagram.BDD.Internal.ItemOrder Methods compareItem :: proxy AscOrder -> Int -> Int -> Ordering Source #

Instances details

ItemOrder AscOrder Source #
Instance details Defined in Data.DecisionDiagram.BDD.Internal.ItemOrder Methods compareItem :: proxy AscOrder -> Int -> Int -> Ordering Source #

Instances details

ItemOrder DescOrder Source #
Instance details Defined in Data.DecisionDiagram.BDD.Internal.ItemOrder Methods compareItem :: proxy DescOrder -> Int -> Int -> Ordering Source #

withDefaultOrder :: forall r. (forall a. ItemOrder a => Proxy a -> r) -> r Source #

Currently the default order is AscOrder

withCustomOrder :: forall r. (Int -> Int -> Ordering) -> (forall a. ItemOrder a => Proxy a -> r) -> r Source #

Ordered item

Constructors

Instances details

Eq (OrderedItem a) Source #
Instance details Defined in Data.DecisionDiagram.BDD.Internal.ItemOrder Methods (==) :: OrderedItem a -> OrderedItem a -> Bool # (/=) :: OrderedItem a -> OrderedItem a -> Bool #
ItemOrder a => Ord (OrderedItem a) Source #
Instance details Defined in Data.DecisionDiagram.BDD.Internal.ItemOrder Methods compare :: OrderedItem a -> OrderedItem a -> Ordering # (<) :: OrderedItem a -> OrderedItem a -> Bool # (<=) :: OrderedItem a -> OrderedItem a -> Bool # (>) :: OrderedItem a -> OrderedItem a -> Bool # (>=) :: OrderedItem a -> OrderedItem a -> Bool # max :: OrderedItem a -> OrderedItem a -> OrderedItem a # min :: OrderedItem a -> OrderedItem a -> OrderedItem a #
Show (OrderedItem a) Source #
Instance details Defined in Data.DecisionDiagram.BDD.Internal.ItemOrder Methods showsPrec :: Int -> OrderedItem a -> ShowS # show :: OrderedItem a -> String # showList :: [OrderedItem a] -> ShowS #

Constructors

NonTerminal !Int
Terminal

Instances details

Eq (Level a) Source #
Instance details Defined in Data.DecisionDiagram.BDD.Internal.ItemOrder Methods (==) :: Level a -> Level a -> Bool # (/=) :: Level a -> Level a -> Bool #
ItemOrder a => Ord (Level a) Source #
Instance details Defined in Data.DecisionDiagram.BDD.Internal.ItemOrder Methods compare :: Level a -> Level a -> Ordering # (<) :: Level a -> Level a -> Bool # (<=) :: Level a -> Level a -> Bool # (>) :: Level a -> Level a -> Bool # (>=) :: Level a -> Level a -> Bool # max :: Level a -> Level a -> Level a # min :: Level a -> Level a -> Level a #
Show (Level a) Source #
Instance details Defined in Data.DecisionDiagram.BDD.Internal.ItemOrder Methods showsPrec :: Int -> Level a -> ShowS # show :: Level a -> String # showList :: [Level a] -> ShowS #