PlutusCore.Generators.QuickCheck.GenerateKinds
Contents
leKind ∷ Kind () → Kind () → Bool Source #
ltKind ∷ Kind () → Kind () → Bool Source #
Strict shrinking order on kinds.
Methods
arbitrary ∷ Gen (Kind ()) Source #
shrink ∷ Kind () → [Kind ()] Source #