Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Generators.NEAT.Common

Contents

Synopsis

Documentation

Instances details

Show Z Source #
Instance details Defined in PlutusCore.Generators.NEAT.Common Methods showsPrec ∷ Int → Z → ShowS Source # show ∷ Z → String Source # showList ∷ [Z] → ShowS Source #
Eq Z Source #
Instance details Defined in PlutusCore.Generators.NEAT.Common Methods (==) ∷ Z → Z → Bool Source # (/=) ∷ Z → Z → Bool Source #
Ord Z Source #
Instance details Defined in PlutusCore.Generators.NEAT.Common Methods compare ∷ Z → Z → Ordering Source # (<) ∷ Z → Z → Bool Source # (<=) ∷ Z → Z → Bool Source # (>) ∷ Z → Z → Bool Source # (>=) ∷ Z → Z → Bool Source # max ∷ Z → Z → Z Source # min ∷ Z → Z → Z Source #
Enumerable Z Source #
Instance details Defined in PlutusCore.Generators.NEAT.Common Methods enumerate ∷ ∀ (f ∷ Type → Type). (Typeable f, Sized f) ⇒ Shared f Z Source #
Check ClosedTypeG ClosedTermG Source #
Instance details Defined in PlutusCore.Generators.NEAT.Term Methods check ∷ ClosedTypeG → ClosedTermG → Cool Source #
Check (Kind ()) ClosedTypeG Source #
Instance details Defined in PlutusCore.Generators.NEAT.Term Methods check ∷ Kind () → ClosedTypeG → Cool Source #
Check (Kind ()) (Normalized ClosedTypeG) Source #
Instance details Defined in PlutusCore.Generators.NEAT.Term Methods check ∷ Kind () → Normalized ClosedTypeG → Cool Source #

data S n Source #

Constructors

FZ
FS n

Instances details

Functor S Source #
Instance details Defined in PlutusCore.Generators.NEAT.Common Methods fmap ∷ (a → b) → S a → S b Source # (<$) ∷ a → S b → S a Source #
Show n ⇒ Show (S n) Source #
Instance details Defined in PlutusCore.Generators.NEAT.Common Methods showsPrec ∷ Int → S n → ShowS Source # show ∷ S n → String Source # showList ∷ [S n] → ShowS Source #
Eq n ⇒ Eq (S n) Source #
Instance details Defined in PlutusCore.Generators.NEAT.Common Methods (==) ∷ S n → S n → Bool Source # (/=) ∷ S n → S n → Bool Source #
Ord n ⇒ Ord (S n) Source #
Instance details Defined in PlutusCore.Generators.NEAT.Common Methods compare ∷ S n → S n → Ordering Source # (<) ∷ S n → S n → Bool Source # (<=) ∷ S n → S n → Bool Source # (>) ∷ S n → S n → Bool Source # (>=) ∷ S n → S n → Bool Source # max ∷ S n → S n → S n Source # min ∷ S n → S n → S n Source #
Enumerable n ⇒ Enumerable (S n) Source #
Instance details Defined in PlutusCore.Generators.NEAT.Common Methods enumerate ∷ ∀ (f ∷ Type → Type). (Typeable f, Sized f) ⇒ Shared f (S n) Source #