Instances12Data, STS, Embed, BaseM, Environment, Event, …
Data BBODYDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BBodySTS BBODYDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BBodyEmbed BBODY CHAINDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.ChainEmbed BUPI BBODYDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BBodyEmbed DELEG BBODYDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BBodyEmbed UTXOWS BBODYDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BBodytype BaseM BBODY = IdentityDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BBodytype Environment BBODY = (PParams, Epoch, UTxO, Word8, BlockCount)Defined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BBodytype Event BBODY = VoidDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BBodytype PredicateFailure BBODY = BbodyPredicateFailureDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BBodytype Signal BBODY = BlockDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BBodytype State BBODY = (UTxOState, DIState, UPIState)Defined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BBody