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

PlutusCore.Generators.NEAT.Type

Documentation

newtype Neutral a Source #

Constructors

Neutral 

Fields

Instances

Instances details
Enumerable tyname ⇒ Enumerable (Neutral (TypeG tyname)) 
Instance details

Defined in PlutusCore.Generators.NEAT.Term

Methods

enumerate ∷ ∀ (f ∷ TypeType). (Typeable f, Sized f) ⇒ Shared f (Neutral (TypeG tyname))

data TypeBuiltinG Source #

Instances

Instances details
Show TypeBuiltinG Source # 
Instance details

Defined in PlutusCore.Generators.NEAT.Type

Eq TypeBuiltinG Source # 
Instance details

Defined in PlutusCore.Generators.NEAT.Type

Ord TypeBuiltinG Source # 
Instance details

Defined in PlutusCore.Generators.NEAT.Type

Enumerable TypeBuiltinG Source # 
Instance details

Defined in PlutusCore.Generators.NEAT.Type

Methods

enumerate ∷ ∀ (f ∷ TypeType). (Typeable f, Sized f) ⇒ Shared f TypeBuiltinG

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

checkKind () → 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

checkClosedTypeGClosedTermG → Cool Source #

Show n ⇒ Show (TypeG n) Source # 
Instance details

Defined in PlutusCore.Generators.NEAT.Type

Methods

showsPrecIntTypeG n → ShowS Source #

showTypeG 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

compareTypeG 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 #

maxTypeG n → TypeG n → TypeG n Source #

minTypeG n → TypeG n → TypeG n Source #

Enumerable tyname ⇒ Enumerable (Normalized (TypeG tyname)) 
Instance details

Defined in PlutusCore.Generators.NEAT.Term

Methods

enumerate ∷ ∀ (f ∷ TypeType). (Typeable f, Sized f) ⇒ Shared f (Normalized (TypeG tyname))

Enumerable tyname ⇒ Enumerable (Neutral (TypeG tyname)) 
Instance details

Defined in PlutusCore.Generators.NEAT.Term

Methods

enumerate ∷ ∀ (f ∷ TypeType). (Typeable f, Sized f) ⇒ Shared f (Neutral (TypeG tyname))

Enumerable n ⇒ Enumerable (TypeG n) Source # 
Instance details

Defined in PlutusCore.Generators.NEAT.Type

Methods

enumerate ∷ ∀ (f ∷ TypeType). (Typeable f, Sized f) ⇒ Shared f (TypeG n)

Check (Kind ()) ClosedTypeG Source # 
Instance details

Defined in PlutusCore.Generators.NEAT.Term

Methods

checkKind () → ClosedTypeG → Cool Source #

Check (TypeG n) TermConstantG Source # 
Instance details

Defined in PlutusCore.Generators.NEAT.Term

Methods

checkTypeG n → TermConstantG → Cool Source #

Ord tyname ⇒ Check (TypeG tyname) DefaultFun Source # 
Instance details

Defined in PlutusCore.Generators.NEAT.Term

Methods

checkTypeG tyname → DefaultFun → Cool Source #

Check (Kind ()) (Normalized ClosedTypeG) Source # 
Instance details

Defined in PlutusCore.Generators.NEAT.Term

Methods

checkKind () → Normalized ClosedTypeG → Cool 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

compareKind () → Kind () → Ordering Source #

(<)Kind () → Kind () → Bool Source #

(<=)Kind () → Kind () → Bool Source #

(>)Kind () → Kind () → Bool Source #

(>=)Kind () → Kind () → Bool Source #

maxKind () → Kind () → Kind () Source #

minKind () → Kind () → Kind () Source #

Enumerable ann ⇒ Enumerable (Kind ann) Source # 
Instance details

Methods

enumerate ∷ ∀ (f ∷ TypeType). (Typeable f, Sized f) ⇒ Shared f (Kind ann)