Safe Haskell	None
Language	GHC2024

Aggregate.Proposal

Contents

Documentation

Constructors

Instances details

Exception ProposalsProblem #
Instance details Defined in Aggregate.Proposal Methods toException :: ProposalsProblem -> SomeException # fromException :: SomeException -> Maybe ProposalsProblem # displayException :: ProposalsProblem -> String # backtraceDesired :: ProposalsProblem -> Bool #
Show ProposalsProblem #
Instance details Defined in Aggregate.Proposal Methods showsPrec :: Int -> ProposalsProblem -> ShowS # show :: ProposalsProblem -> String # showList :: [ProposalsProblem] -> ShowS #
Eq ProposalsProblem #
Instance details Defined in Aggregate.Proposal Methods (==) :: ProposalsProblem -> ProposalsProblem -> Bool # (/=) :: ProposalsProblem -> ProposalsProblem -> Bool #

Orphan instances

KnownNat sc => Predicate NotEmpty (Set (Proposal sc)) #
Instance details Methods validate :: Proxy NotEmpty -> Set (Proposal sc) -> Maybe RefineException #