Scavenge.Results

Documentation

data Results k r

Constructors

Results

Fields

• rewards :: r
• clues :: MonoidalMap [k] ClueState

Instances

(Ord k, Ord r) => Observe () (Results k r) (Results k r)

Defined in Scavenge.Results

Methods

observe :: () -> Results k r -> Results k r

(HasFilter i, Arbitrary i, Eq (CustomFilter i), Ord k, Commutative r, Monoid r, Ord r) => Observe [i] (Results k r, Bool) (Challenge i k r)

Defined in Scavenge.Initial

Methods

observe :: [i] -> Challenge i k r -> (Results k r, Bool)

(HasFilter i, Arbitrary i, Ord (CustomFilter i), Ord k, Monoid r, Ord r) => Observe [i] (Results k r, Bool) (Challenge i k r)

Defined in Scavenge.CPS

Methods

observe :: [i] -> Challenge i k r -> (Results k r, Bool)

(Eq r, Eq k) => Eq (Results k r)

Defined in Scavenge.Results

Methods

(==) :: Results k r -> Results k r -> Bool

(/=) :: Results k r -> Results k r -> Bool

(Ord r, Ord k) => Ord (Results k r)

Defined in Scavenge.Results

Methods

compare :: Results k r -> Results k r -> Ordering

(<) :: Results k r -> Results k r -> Bool

(<=) :: Results k r -> Results k r -> Bool

(>) :: Results k r -> Results k r -> Bool

(>=) :: Results k r -> Results k r -> Bool

max :: Results k r -> Results k r -> Results k r

min :: Results k r -> Results k r -> Results k r

(Show k, Show r) => Show (Results k r)

Defined in Scavenge.Results

Methods

showsPrec :: Int -> Results k r -> ShowS

show :: Results k r -> String

showList :: [Results k r] -> ShowS

Generic (Results k r)

Defined in Scavenge.Results

Associated Types

type Rep (Results k r) :: Type -> Type

Methods

from :: Results k r -> Rep (Results k r) x

to :: Rep (Results k r) x -> Results k r

(Semigroup r, Ord k) => Semigroup (Results k r)

Defined in Scavenge.Results

Methods

(<>) :: Results k r -> Results k r -> Results k r

sconcat :: NonEmpty (Results k r) -> Results k r

stimes :: Integral b => b -> Results k r -> Results k r

(Monoid r, Ord k) => Monoid (Results k r)

Defined in Scavenge.Results

Methods

mempty :: Results k r

mappend :: Results k r -> Results k r -> Results k r

mconcat :: [Results k r] -> Results k r

type Rep (Results k r)

Defined in Scavenge.Results

type Rep (Results k r) = D1 (MetaData "Results" "Scavenge.Results" "algebra-driven-design-0.1.1.1-3rqLDj56t6xHDa2DBImysW" False) (C1 (MetaCons "Results" PrefixI True) (S1 (MetaSel (Just "rewards") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 r) :*: S1 (MetaSel (Just "clues") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MonoidalMap [k] ClueState))))

Orphan instances

(Ord k, Ord v) => Observe () (MonoidalMap k v) (MonoidalMap k v)

Methods

observe :: () -> MonoidalMap k v -> MonoidalMap k v

(Arbitrary k, Ord k, Arbitrary v) => Arbitrary (MonoidalMap k v)

Methods

arbitrary :: Gen (MonoidalMap k v)

shrink :: MonoidalMap k v -> [MonoidalMap k v]