byron-spec-ledger-0.1.0.0: Executable specification of Cardano ledger
Safe HaskellNone
LanguageHaskell2010

Byron.Spec.Ledger.STS.UTXOWS

Description

Transition system that models the application of multiple transactions to the UTxO part of the ledger state.

Documentation

data UTXOWS Source #

Instances

Instances details
Data UTXOWS Source # 
Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UTXOWS -> c UTXOWS #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UTXOWS #

toConstr :: UTXOWS -> Constr #

dataTypeOf :: UTXOWS -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UTXOWS) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UTXOWS) #

gmapT :: (forall b. Data b => b -> b) -> UTXOWS -> UTXOWS #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UTXOWS -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UTXOWS -> r #

gmapQ :: (forall d. Data d => d -> u) -> UTXOWS -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> UTXOWS -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UTXOWS -> m UTXOWS #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UTXOWS -> m UTXOWS #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UTXOWS -> m UTXOWS #

STS UTXOWS Source # 
Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

HasTrace UTXOWS Source # 
Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

Associated Types

type BaseEnv UTXOWS Source #

Embed UTXOW UTXOWS Source # 
Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

type PredicateFailure UTXOWS Source # 
Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

type BaseM UTXOWS Source # 
Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

type Environment UTXOWS Source # 
Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

type Signal UTXOWS Source # 
Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

type Signal UTXOWS = [Tx]
type State UTXOWS Source # 
Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

type BaseEnv UTXOWS Source # 
Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

type BaseEnv UTXOWS = ()

data UtxowsPredicateFailure Source #

Instances

Instances details
Eq UtxowsPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

Data UtxowsPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UtxowsPredicateFailure -> c UtxowsPredicateFailure #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UtxowsPredicateFailure #

toConstr :: UtxowsPredicateFailure -> Constr #

dataTypeOf :: UtxowsPredicateFailure -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UtxowsPredicateFailure) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UtxowsPredicateFailure) #

gmapT :: (forall b. Data b => b -> b) -> UtxowsPredicateFailure -> UtxowsPredicateFailure #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UtxowsPredicateFailure -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UtxowsPredicateFailure -> r #

gmapQ :: (forall d. Data d => d -> u) -> UtxowsPredicateFailure -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> UtxowsPredicateFailure -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UtxowsPredicateFailure -> m UtxowsPredicateFailure #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UtxowsPredicateFailure -> m UtxowsPredicateFailure #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UtxowsPredicateFailure -> m UtxowsPredicateFailure #

Show UtxowsPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

Generic UtxowsPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

Associated Types

type Rep UtxowsPredicateFailure :: Type -> Type #

NoThunks UtxowsPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

type Rep UtxowsPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

type Rep UtxowsPredicateFailure = D1 ('MetaData "UtxowsPredicateFailure" "Byron.Spec.Ledger.STS.UTXOWS" "byron-spec-ledger-0.1.0.0-AWpYh6fpW7YLETcmEzrAvm" 'False) (C1 ('MetaCons "UtxowFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UTXOW))))