Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Generators.NEAT.Type

Contents

Orphan instances

Documentation

newtype Neutral a Source #

Constructors

Neutral
Fields unNeutral ∷ a

Instances

Instances details

Enumerable tyname ⇒ Enumerable (Neutral (TypeG tyname)) Source #
Instance details Defined in PlutusCore.Generators.NEAT.Term Methods enumerate ∷ ∀ (f ∷ Type → Type). (Typeable f, Sized f) ⇒ Shared f (Neutral (TypeG tyname)) Source #

data TypeBuiltinG Source #

Constructors

TyByteStringG
TyIntegerG
TyBoolG
TyUnitG
TyStringG
TyListG TypeBuiltinG
TyDataG

Instances

Instances details

Show TypeBuiltinG Source #
Instance details Defined in PlutusCore.Generators.NEAT.Type Methods showsPrec ∷ Int → TypeBuiltinG → ShowS Source # show ∷ TypeBuiltinG → String Source # showList ∷ [TypeBuiltinG] → ShowS Source #
Eq TypeBuiltinG Source #
Instance details Defined in PlutusCore.Generators.NEAT.Type Methods (==) ∷ TypeBuiltinG → TypeBuiltinG → Bool Source # (/=) ∷ TypeBuiltinG → TypeBuiltinG → Bool Source #
Ord TypeBuiltinG Source #
Instance details Defined in PlutusCore.Generators.NEAT.Type Methods compare ∷ TypeBuiltinG → TypeBuiltinG → Ordering Source # (<) ∷ TypeBuiltinG → TypeBuiltinG → Bool Source # (<=) ∷ TypeBuiltinG → TypeBuiltinG → Bool Source # (>) ∷ TypeBuiltinG → TypeBuiltinG → Bool Source # (>=) ∷ TypeBuiltinG → TypeBuiltinG → Bool Source # max ∷ TypeBuiltinG → TypeBuiltinG → TypeBuiltinG Source # min ∷ TypeBuiltinG → TypeBuiltinG → TypeBuiltinG Source #
Enumerable TypeBuiltinG Source #
Instance details Defined in PlutusCore.Generators.NEAT.Type Methods enumerate ∷ ∀ (f ∷ Type → Type). (Typeable f, Sized f) ⇒ Shared f TypeBuiltinG Source #
Check (Kind ()) TypeBuiltinG Source #	Kind check builtin types. NOTE: If we make \|checkTypeBuiltinG\| non-strict in its second argument, lazy-search will only ever return one of the various builtin types. Perhaps this is preferable?
Instance details Defined in PlutusCore.Generators.NEAT.Term Methods check ∷ Kind () → TypeBuiltinG → Cool Source #

data TypeG n Source #

Constructors

TyVarG n
TyFunG (TypeG n) (TypeG n)
TyIFixG (TypeG n) (Kind ()) (TypeG n)
TyForallG (Kind ()) (TypeG (S n))
TyBuiltinG TypeBuiltinG
TyLamG (TypeG (S n))
TyAppG (TypeG n) (TypeG n) (Kind ())

Instances

Instances details

Applicative TypeG Source #
Instance details Defined in PlutusCore.Generators.NEAT.Type Methods pure ∷ a → TypeG a Source # (<>) ∷ TypeG (a → b) → TypeG a → TypeG b Source # liftA2 ∷ (a → b → c) → TypeG a → TypeG b → TypeG c Source # (>) ∷ TypeG a → TypeG b → TypeG b Source # (<*) ∷ TypeG a → TypeG b → TypeG a Source #
Functor TypeG Source #
Instance details Defined in PlutusCore.Generators.NEAT.Type Methods fmap ∷ (a → b) → TypeG a → TypeG b Source # (<$) ∷ a → TypeG b → TypeG a Source #
Monad TypeG Source #
Instance details Defined in PlutusCore.Generators.NEAT.Type Methods (>>=) ∷ TypeG a → (a → TypeG b) → TypeG b Source # (>>) ∷ TypeG a → TypeG b → TypeG b Source # return ∷ a → TypeG a Source #
Check ClosedTypeG ClosedTermG Source #
Instance details Defined in PlutusCore.Generators.NEAT.Term Methods check ∷ ClosedTypeG → ClosedTermG → Cool Source #
Show n ⇒ Show (TypeG n) Source #
Instance details Defined in PlutusCore.Generators.NEAT.Type Methods showsPrec ∷ Int → TypeG n → ShowS Source # show ∷ TypeG n → String Source # showList ∷ [TypeG n] → ShowS Source #
Eq n ⇒ Eq (TypeG n) Source #
Instance details Defined in PlutusCore.Generators.NEAT.Type Methods (==) ∷ TypeG n → TypeG n → Bool Source # (/=) ∷ TypeG n → TypeG n → Bool Source #
Ord n ⇒ Ord (TypeG n) Source #
Instance details Defined in PlutusCore.Generators.NEAT.Type Methods compare ∷ TypeG n → TypeG n → Ordering Source # (<) ∷ TypeG n → TypeG n → Bool Source # (<=) ∷ TypeG n → TypeG n → Bool Source # (>) ∷ TypeG n → TypeG n → Bool Source # (>=) ∷ TypeG n → TypeG n → Bool Source # max ∷ TypeG n → TypeG n → TypeG n Source # min ∷ TypeG n → TypeG n → TypeG n Source #
Enumerable tyname ⇒ Enumerable (Normalized (TypeG tyname)) Source #
Instance details Defined in PlutusCore.Generators.NEAT.Term Methods enumerate ∷ ∀ (f ∷ Type → Type). (Typeable f, Sized f) ⇒ Shared f (Normalized (TypeG tyname)) Source #
Enumerable tyname ⇒ Enumerable (Neutral (TypeG tyname)) Source #
Instance details Defined in PlutusCore.Generators.NEAT.Term Methods enumerate ∷ ∀ (f ∷ Type → Type). (Typeable f, Sized f) ⇒ Shared f (Neutral (TypeG tyname)) Source #
Enumerable n ⇒ Enumerable (TypeG n) Source #
Instance details Defined in PlutusCore.Generators.NEAT.Type Methods enumerate ∷ ∀ (f ∷ Type → Type). (Typeable f, Sized f) ⇒ Shared f (TypeG n) Source #
Check (Kind ()) ClosedTypeG Source #
Instance details Defined in PlutusCore.Generators.NEAT.Term Methods check ∷ Kind () → ClosedTypeG → Cool Source #
Check (TypeG n) TermConstantG Source #
Instance details Defined in PlutusCore.Generators.NEAT.Term Methods check ∷ TypeG n → TermConstantG → Cool Source #
Ord tyname ⇒ Check (TypeG tyname) DefaultFun Source #
Instance details Defined in PlutusCore.Generators.NEAT.Term Methods check ∷ TypeG tyname → DefaultFun → Cool Source #
Check (Kind ()) (Normalized ClosedTypeG) Source #
Instance details Defined in PlutusCore.Generators.NEAT.Term Methods check ∷ Kind () → Normalized ClosedTypeG → Cool Source #

type ClosedTypeG = TypeG Z Source #

ext ∷ (m → n) → S m → S n Source #

ren ∷ (m → n) → TypeG m → TypeG n Source #

exts ∷ (n → TypeG m) → S n → TypeG (S m) Source #

sub ∷ (n → TypeG m) → TypeG n → TypeG m Source #

Orphan instances

Ord (Kind ()) Source #
Instance details Methods compare ∷ Kind () → Kind () → Ordering Source # (<) ∷ Kind () → Kind () → Bool Source # (<=) ∷ Kind () → Kind () → Bool Source # (>) ∷ Kind () → Kind () → Bool Source # (>=) ∷ Kind () → Kind () → Bool Source # max ∷ Kind () → Kind () → Kind () Source # min ∷ Kind () → Kind () → Kind () Source #
Enumerable ann ⇒ Enumerable (Kind ann) Source #
Instance details Methods enumerate ∷ ∀ (f ∷ Type → Type). (Typeable f, Sized f) ⇒ Shared f (Kind ann) Source #