Twee.Indexes

Documentation

class Rated a where

Minimal complete definition

rating, maxRating

Methods

rating :: a -> Int

maxRating :: a -> Int

Instances

Rated a => Rated (Critical a)

Methods

rating :: Critical a -> Int

maxRating :: Critical a -> Int

Rated a => Rated (Modelled a)

Methods

rating :: Modelled a -> Int

maxRating :: Modelled a -> Int

newtype Indexes a

Constructors

Indexes

Fields

• unIndexes :: Array Int (Index a)

Instances

Show a => Show (Indexes a)

Methods

showsPrec :: Int -> Indexes a -> ShowS

show :: Indexes a -> String

showList :: [Indexes a] -> ShowS

empty :: forall a. Rated a => Indexes a

singleton :: (Symbolic a, Rated a) => a -> Indexes a

insert :: forall a. (Symbolic a, Rated a) => a -> Indexes a -> Indexes a

delete :: forall a. (Eq a, Symbolic a, Rated a) => a -> Indexes a -> Indexes a

freeze :: Int -> Indexes a -> Frozen a

elems :: forall a. Rated a => Indexes a -> [a]