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

PlutusCore.Generators.QuickCheck.GenerateKinds

Synopsis

Documentation

leKindKind () → Kind () → Bool Source #

ltKindKind () → Kind () → Bool Source #

Strict shrinking order on kinds.

Orphan instances

Arbitrary (Kind ()) Source # 
Instance details

Methods

arbitraryGen (Kind ()) #

shrinkKind () → [Kind ()] #