Orphan instances

Methods

emptySpec ∷ TypeSpec fn (ShelleyLedgersEnv era) Source #

combineSpec ∷ TypeSpec fn (ShelleyLedgersEnv era) → TypeSpec fn (ShelleyLedgersEnv era) → Specification fn (ShelleyLedgersEnv era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (ShelleyLedgersEnv era) → GenT m (ShelleyLedgersEnv era) Source #

conformsTo ∷ ShelleyLedgersEnv era → TypeSpec fn (ShelleyLedgersEnv era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (ShelleyLedgersEnv era) → ShelleyLedgersEnv era → [ShelleyLedgersEnv era] Source #

toPreds ∷ Term fn (ShelleyLedgersEnv era) → TypeSpec fn (ShelleyLedgersEnv era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (ShelleyLedgersEnv era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (ShelleyLedgersEnv era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ShelleyLedgersEnv era) → BinaryShow Source #

monadConformsTo ∷ ShelleyLedgersEnv era → TypeSpec fn (ShelleyLedgersEnv era) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec fn (ShelleyLedgersEnv era) → [ShelleyLedgersEnv era] → Specification fn (ShelleyLedgersEnv era) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (ShelleyLedgersEnv era) → Specification fn (ShelleyLedgersEnv era) Source #

prerequisites ∷ Evidence (Prerequisites fn (ShelleyLedgersEnv era)) Source #

Methods

toSimpleRep ∷ ShelleyLedgersEnv era → SimpleRep (ShelleyLedgersEnv era) Source #

fromSimpleRep ∷ SimpleRep (ShelleyLedgersEnv era) → ShelleyLedgersEnv era Source #