Twee.PassiveQueue

A queue of passive critical pairs, using a memory-efficient representation.

Documentation

class (Eq (Id params), Integral (Id params), Ord (Score params), Unbox (PackedScore params), Unbox (PackedId params)) => Params params where

A datatype representing all the type parameters of the queue.

Minimal complete definition

packScore, unpackScore, packId, unpackId

Associated Types

type Score params

The score assigned to critical pairs. Smaller scores are better.

type Id params

The type of ID numbers used to name rules.

type PackedScore params

A Score packed for storage into a Vector. Must be an instance of Unbox.

type PackedId params

An Id packed for storage into a Vector. Must be an instance of Unbox.

Methods

packScore :: proxy params -> Score params -> PackedScore params

Pack a Score.

unpackScore :: proxy params -> PackedScore params -> Score params

Unpack a PackedScore.

packId :: proxy params -> Id params -> PackedId params

Pack an Id.

unpackId :: proxy params -> PackedId params -> Id params

Unpack a PackedId.

Instances

Params Params

Associated Types

type Score Params :: *

type Id Params :: *

type PackedScore Params :: *

type PackedId Params :: *

Methods

packScore :: proxy Params -> Score Params -> PackedScore Params

unpackScore :: proxy Params -> PackedScore Params -> Score Params

packId :: proxy Params -> Id Params -> PackedId Params

unpackId :: proxy Params -> PackedId Params -> Id Params

data Queue params

A critical pair queue.

data Passive params

A queued critical pair.

Constructors

Passive

Fields

• passive_score :: !(Score params)

  The score of this critical pair.

• passive_rule1 :: !(Id params)

  The rule which does the outermost rewrite in this critical pair.

• passive_rule2 :: !(Id params)

  The rule which does the innermost rewrite in this critical pair.

• passive_pos :: !Int

  The position of the overlap. See overlap_pos.

Instances

Params params => Eq (Passive params)

Methods

(==) :: Passive params -> Passive params -> Bool

(/=) :: Passive params -> Passive params -> Bool

Params params => Ord (Passive params)

Methods

compare :: Passive params -> Passive params -> Ordering

(<) :: Passive params -> Passive params -> Bool

(<=) :: Passive params -> Passive params -> Bool

(>) :: Passive params -> Passive params -> Bool

(>=) :: Passive params -> Passive params -> Bool

max :: Passive params -> Passive params -> Passive params

min :: Passive params -> Passive params -> Passive params

empty :: Queue params

The empty queue.

insert :: Params params => Id params -> [Passive params] -> Queue params -> Queue params

Add a set of Passives to the queue.

removeMin :: Params params => Queue params -> Maybe (Passive params, Queue params)

Remove the minimum Passive from the queue.

mapMaybe :: Params params => (Passive params -> Maybe (Passive params)) -> Queue params -> Queue params

Map a function over all Passives.