plutus-core-1.70.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Generators.QuickCheck.GenerateKinds

Synopsis

Documentation

leKind ∷ Kind () → Kind () → Bool Source #

ltKind ∷ Kind () → Kind () → Bool Source #

Strict shrinking order on kinds.

Orphan instances

Arbitrary (Kind ()) Source # 
Instance details

Methods

arbitrary ∷ Gen (Kind ()) #

shrink ∷ Kind () → [Kind ()] #