Safe Haskell	None
Language	Haskell2010

Scavenge.Results

Contents

Orphan instances

Documentation

data Results k r Source #

Constructors

Results
Fields rewards :: r clues :: MonoidalMap [k] ClueState

Instances

(Ord k, Ord r) => Observe () (Results k r) (Results k r) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Scavenge.CPS Methods observe :: [i] -> Challenge i k r -> (Results k r, Bool) #
(Eq r, Eq k) => Eq (Results k r) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Methods observe :: () -> MonoidalMap k v -> MonoidalMap k v #
(Arbitrary k, Ord k, Arbitrary v) => Arbitrary (MonoidalMap k v) Source #
Instance details Methods arbitrary :: Gen (MonoidalMap k v) # shrink :: MonoidalMap k v -> [MonoidalMap k v] #