twee-0.1: An equational theorem prover
Twee.Indexes
class Rated a where Source #
Minimal complete definition
rating, maxRating
Methods
rating :: a -> Int Source #
maxRating :: a -> Int Source #
Instances
rating :: Critical a -> Int Source #
maxRating :: Critical a -> Int Source #
rating :: Modelled a -> Int Source #
maxRating :: Modelled a -> Int Source #
newtype Indexes a Source #
Constructors
Fields
showsPrec :: Int -> Indexes a -> ShowS #
show :: Indexes a -> String #
showList :: [Indexes a] -> ShowS #
empty :: forall a. Rated a => Indexes a Source #
singleton :: (Symbolic a, Rated a) => a -> Indexes a Source #
insert :: forall a. (Symbolic a, Rated a) => a -> Indexes a -> Indexes a Source #
delete :: forall a. (Eq a, Symbolic a, Rated a) => a -> Indexes a -> Indexes a Source #
freeze :: Int -> Indexes a -> Frozen a Source #
elems :: forall a. Rated a => Indexes a -> [a] Source #