Safe Haskell	None
Language	Haskell2010

Cardano.Api.Feature

Synopsis

data Featured eon era a where
- Featured :: eon era -> a -> Featured eon era a
unFeatured :: Featured eon era a -> a
asFeaturedInEra :: Eon eon => a -> CardanoEra era -> Maybe (Featured eon era a)
asFeaturedInShelleyBasedEra :: Eon eon => a -> ShelleyBasedEra era -> Maybe (Featured eon era a)

Documentation

data Featured eon era a where Source #

A value only if the eon includes era

Constructors

Featured
Fields :: eon era The witness that the eon includes era -> a The value to use -> Featured eon era a

Instances details

Functor (Featured eon era) Source #
Instance details Defined in Cardano.Api.Feature Methods fmap :: (a -> b) -> Featured eon era a -> Featured eon era b Source # (<$) :: a -> Featured eon era b -> Featured eon era a Source #
(Eq a, Eq (eon era)) => Eq (Featured eon era a) Source #
Instance details Defined in Cardano.Api.Feature Methods (==) :: Featured eon era a -> Featured eon era a -> Bool Source # (/=) :: Featured eon era a -> Featured eon era a -> Bool Source #
(Show a, Show (eon era)) => Show (Featured eon era a) Source #
Instance details Defined in Cardano.Api.Feature Methods showsPrec :: Int -> Featured eon era a -> ShowS Source # show :: Featured eon era a -> String Source # showList :: [Featured eon era a] -> ShowS Source #

Attempt to construct a FeatureValue from a value and era. If the eon is not supported in the era, then NoFeatureValue is returned.

Attempt to construct a FeatureValue from a value and a shelley-based-era.