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

PlutusCore.Generators.NEAT.Common

Contents

Synopsis

Documentation

data Z Source #

Instances

Instances details
Show Z Source # 
Instance details

Defined in PlutusCore.Generators.NEAT.Common

Methods

showsPrecIntZShowS Source #

showZString Source #

showList ∷ [Z] → ShowS Source #

Eq Z Source # 
Instance details

Defined in PlutusCore.Generators.NEAT.Common

Methods

(==)ZZBool Source #

(/=)ZZBool Source #

Ord Z Source # 
Instance details

Defined in PlutusCore.Generators.NEAT.Common

Methods

compareZZOrdering Source #

(<)ZZBool Source #

(<=)ZZBool Source #

(>)ZZBool Source #

(>=)ZZBool Source #

maxZZZ Source #

minZZZ Source #

Enumerable Z Source # 
Instance details

Defined in PlutusCore.Generators.NEAT.Common

Methods

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

Check ClosedTypeG ClosedTermG Source # 
Instance details

Defined in PlutusCore.Generators.NEAT.Term

Methods

checkClosedTypeGClosedTermG → Cool Source #

Check (Kind ()) ClosedTypeG Source # 
Instance details

Defined in PlutusCore.Generators.NEAT.Term

Methods

checkKind () → ClosedTypeG → Cool Source #

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

Defined in PlutusCore.Generators.NEAT.Term

Methods

checkKind () → Normalized ClosedTypeG → Cool Source #

data S n Source #

Constructors

FZ 
FS n 

Instances

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

showsPrecIntS n → ShowS Source #

showS 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

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

maxS n → S n → S n Source #

minS n → S n → S n Source #

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

Defined in PlutusCore.Generators.NEAT.Common

Methods

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

fromZZ → a Source #

Absurd for the zero type.

Namespaces

data NameState n Source #

Constructors

NameState 

Fields

newtype TyNameState n Source #

Constructors

TyNameState (NameState n) 

emptyNameState ∷ Stream Text → NameState Z Source #

Create an empty name state from a stream of text names.

extNameStateMonadQuote m ⇒ NameState n → m (NameState (S n)) Source #

Extend name state with a fresh name.

emptyTyNameState ∷ Stream Text → TyNameState Z Source #

Create an empty name state from a stream of text names.

extTyNameStateMonadQuote m ⇒ TyNameState n → m (TyNameState (S n)) Source #

Extend type name state with a fresh type name.

mkTextNameStream ∷ Text → Stream Text Source #

Create a stream of names |x0, x1, x2, ...| from a prefix |"x"|