Modulebyron-spec-chain-1.0.1.1Haskell2010
Byron.Spec.Chain.STS.Rule.Bupi
- 3 types
- Packagebyron-spec-chain-1.0.1.1
- Exports3
- LanguageHaskell2010
- LicenceApache-2.0
Instances12Data, STS, Embed, BaseM, Environment, Event, …
Data BUPIDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BupiSTS BUPIDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BupiEmbed BUPI BBODYDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BBodyEmbed UPIEND BUPIDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BupiEmbed UPIREG BUPIDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BupiEmbed UPIVOTES BUPIDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.Bupitype BaseM BUPI = IdentityDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.Bupitype Environment BUPI = UPIEnvDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.Bupitype Event BUPI = VoidDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.Bupitype PredicateFailure BUPI = BupiPredicateFailureDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.Bupitype Signal BUPI = UpdatePayloadDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.Bupitype State BUPI = UPIStateDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.Bupi
Instances3Eq, Data, Show
Eq BupiPredicateFailureDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BupiData BupiPredicateFailureDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BupiShow BupiPredicateFailureDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.Bupi