Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data Z
- data S n
- fromZ ∷ Z → a
- data NameState n = NameState {
- nameOf ∷ n → Name
- freshNameStrings ∷ Stream Text
- newtype TyNameState n = TyNameState (NameState n)
- tynameOf ∷ TyNameState n → n → TyName
- emptyNameState ∷ Stream Text → NameState Z
- extNameState ∷ MonadQuote m ⇒ NameState n → m (NameState (S n))
- emptyTyNameState ∷ Stream Text → TyNameState Z
- extTyNameState ∷ MonadQuote m ⇒ TyNameState n → m (TyNameState (S n))
- mkTextNameStream ∷ Text → Stream Text
Documentation
Instances
Show Z Source # | |
Eq Z Source # | |
Ord Z Source # | |
Enumerable Z Source # | |
Check ClosedTypeG ClosedTermG Source # | |
Defined in PlutusCore.Generators.NEAT.Term check ∷ ClosedTypeG → ClosedTermG → Cool Source # | |
Check (Kind ()) ClosedTypeG Source # | |
Defined in PlutusCore.Generators.NEAT.Term | |
Check (Kind ()) (Normalized ClosedTypeG) Source # | |
Defined in PlutusCore.Generators.NEAT.Term check ∷ Kind () → Normalized ClosedTypeG → Cool Source # |
Namespaces
newtype TyNameState n Source #
TyNameState (NameState n) |
tynameOf ∷ TyNameState n → n → TyName Source #
emptyNameState ∷ Stream Text → NameState Z Source #
Create an empty name state from a stream of text names.
extNameState ∷ MonadQuote 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.
extTyNameState ∷ MonadQuote m ⇒ TyNameState n → m (TyNameState (S n)) Source #
Extend type name state with a fresh type name.