Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Update.ApplicationName

Synopsis

newtype ApplicationName = ApplicationName {
- unApplicationName ∷ Text
}
applicationNameMaxLength ∷ Integral i ⇒ i
data ApplicationNameError
- = ApplicationNameTooLong Text
- | ApplicationNameNotAscii Text
checkApplicationName ∷ MonadError ApplicationNameError m ⇒ ApplicationName → m ()

Documentation

newtype ApplicationName Source #

Constructors

ApplicationName
Fields unApplicationName ∷ Text

Instances

Instances details

ToJSON ApplicationName Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods toJSON ∷ ApplicationName → Value Source # toEncoding ∷ ApplicationName → Encoding Source # toJSONList ∷ [ApplicationName] → Value Source # toEncodingList ∷ [ApplicationName] → Encoding Source # omitField ∷ ApplicationName → Bool Source #
Generic ApplicationName Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Associated Types type Rep ApplicationName ∷ Type → Type Source # Methods from ∷ ApplicationName → Rep ApplicationName x Source # to ∷ Rep ApplicationName x → ApplicationName Source #
Show ApplicationName Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods showsPrec ∷ Int → ApplicationName → ShowS Source # show ∷ ApplicationName → String Source # showList ∷ [ApplicationName] → ShowS Source #
FromCBOR ApplicationName Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods fromCBOR ∷ Decoder s ApplicationName Source # label ∷ Proxy ApplicationName → Text Source #
ToCBOR ApplicationName Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods toCBOR ∷ ApplicationName → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ApplicationName → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ApplicationName] → Size Source #
DecCBOR ApplicationName Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods decCBOR ∷ Decoder s ApplicationName Source # dropCBOR ∷ Proxy ApplicationName → Decoder s () Source # label ∷ Proxy ApplicationName → Text Source #
EncCBOR ApplicationName Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods encCBOR ∷ ApplicationName → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ApplicationName → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ApplicationName] → Size Source #
NFData ApplicationName Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods rnf ∷ ApplicationName → () Source #
Buildable ApplicationName Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods build ∷ ApplicationName → Builder Source #
Eq ApplicationName Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods (==) ∷ ApplicationName → ApplicationName → Bool Source # (/=) ∷ ApplicationName → ApplicationName → Bool Source #
Ord ApplicationName Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods compare ∷ ApplicationName → ApplicationName → Ordering Source # (<) ∷ ApplicationName → ApplicationName → Bool Source # (<=) ∷ ApplicationName → ApplicationName → Bool Source # (>) ∷ ApplicationName → ApplicationName → Bool Source # (>=) ∷ ApplicationName → ApplicationName → Bool Source # max ∷ ApplicationName → ApplicationName → ApplicationName Source # min ∷ ApplicationName → ApplicationName → ApplicationName Source #
NoThunks ApplicationName Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods noThunks ∷ Context → ApplicationName → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ApplicationName → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ApplicationName → String Source #
type Rep ApplicationName Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName type Rep ApplicationName = D1 ('MetaData "ApplicationName" "Cardano.Chain.Update.ApplicationName" "cardano-ledger-byron-1.0.1.0-inplace" 'True) (C1 ('MetaCons "ApplicationName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unApplicationName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

applicationNameMaxLength ∷ Integral i ⇒ i Source #

data ApplicationNameError Source #

Constructors

ApplicationNameTooLong Text
ApplicationNameNotAscii Text

Instances

Instances details

Data ApplicationNameError Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → ApplicationNameError → c ApplicationNameError Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c ApplicationNameError Source # toConstr ∷ ApplicationNameError → Constr Source # dataTypeOf ∷ ApplicationNameError → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ApplicationNameError) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ApplicationNameError) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → ApplicationNameError → ApplicationNameError Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → ApplicationNameError → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → ApplicationNameError → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → ApplicationNameError → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → ApplicationNameError → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → ApplicationNameError → m ApplicationNameError Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ApplicationNameError → m ApplicationNameError Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ApplicationNameError → m ApplicationNameError Source #
Show ApplicationNameError Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods showsPrec ∷ Int → ApplicationNameError → ShowS Source # show ∷ ApplicationNameError → String Source # showList ∷ [ApplicationNameError] → ShowS Source #
FromCBOR ApplicationNameError Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods fromCBOR ∷ Decoder s ApplicationNameError Source # label ∷ Proxy ApplicationNameError → Text Source #
ToCBOR ApplicationNameError Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods toCBOR ∷ ApplicationNameError → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ApplicationNameError → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ApplicationNameError] → Size Source #
DecCBOR ApplicationNameError Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods decCBOR ∷ Decoder s ApplicationNameError Source # dropCBOR ∷ Proxy ApplicationNameError → Decoder s () Source # label ∷ Proxy ApplicationNameError → Text Source #
EncCBOR ApplicationNameError Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods encCBOR ∷ ApplicationNameError → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ApplicationNameError → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ApplicationNameError] → Size Source #
Buildable ApplicationNameError Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods build ∷ ApplicationNameError → Builder Source #
Eq ApplicationNameError Source #
Instance details Defined in Cardano.Chain.Update.ApplicationName Methods (==) ∷ ApplicationNameError → ApplicationNameError → Bool Source # (/=) ∷ ApplicationNameError → ApplicationNameError → Bool Source #

checkApplicationName ∷ MonadError ApplicationNameError m ⇒ ApplicationName → m () Source #

Smart constructor of ApplicationName