Safe Haskell	None
Language	Haskell2010

Data.MemoBytes

Description

MemoBytes is an abstraction for a data type that encodes its own serialization. The idea is to use a newtype around a MemoBytes non-memoizing version. For example: newtype Foo = Foo (MemoBytes NonMemoizingFoo) This way all the instances for Foo (Eq,Show,Ord,ToCBOR,FromCBOR,NoThunks,Generic) can be derived for free.

Synopsis

data MemoBytes t = Memo {
- memotype :: !t
- memobytes :: ShortByteString
}
memoBytes :: Encode w t -> MemoBytes t
type Mem t = Annotator ( MemoBytes t)
shorten :: ByteString -> ShortByteString
showMemo :: Show t => MemoBytes t -> String
printMemo :: Show t => MemoBytes t -> IO ()
roundTripMemo :: FromCBOR t => MemoBytes t -> Either DeserialiseFailure ( ByteString , MemoBytes t)

Documentation

data MemoBytes t Source #

Constructors

Memo
Fields memotype :: !t memobytes :: ShortByteString

Instances

Instances details

Eq ( MemoBytes t) Source #
Instance details Defined in Data.MemoBytes Methods (==) :: MemoBytes t -> MemoBytes t -> Bool Source # (/=) :: MemoBytes t -> MemoBytes t -> Bool Source #
Ord t => Ord ( MemoBytes t) Source #
Instance details Defined in Data.MemoBytes Methods compare :: MemoBytes t -> MemoBytes t -> Ordering Source # (<) :: MemoBytes t -> MemoBytes t -> Bool Source # (<=) :: MemoBytes t -> MemoBytes t -> Bool Source # (>) :: MemoBytes t -> MemoBytes t -> Bool Source # (>=) :: MemoBytes t -> MemoBytes t -> Bool Source # max :: MemoBytes t -> MemoBytes t -> MemoBytes t Source # min :: MemoBytes t -> MemoBytes t -> MemoBytes t Source #
Show t => Show ( MemoBytes t) Source #
Instance details Defined in Data.MemoBytes Methods showsPrec :: Int -> MemoBytes t -> ShowS Source # show :: MemoBytes t -> String Source # showList :: [ MemoBytes t] -> ShowS Source #
Generic ( MemoBytes t) Source #
Instance details Defined in Data.MemoBytes Associated Types type Rep ( MemoBytes t) :: Type -> Type Source # Methods from :: MemoBytes t -> Rep ( MemoBytes t) x Source # to :: Rep ( MemoBytes t) x -> MemoBytes t Source #
Typeable t => ToCBOR ( MemoBytes t) Source #
Instance details Defined in Data.MemoBytes Methods toCBOR :: MemoBytes t -> Encoding Source # encodedSizeExpr :: ( forall t0. ToCBOR t0 => Proxy t0 -> Size ) -> Proxy ( MemoBytes t) -> Size Source # encodedListSizeExpr :: ( forall t0. ToCBOR t0 => Proxy t0 -> Size ) -> Proxy [ MemoBytes t] -> Size Source #
( Typeable t, FromCBOR ( Annotator t)) => FromCBOR ( Annotator ( MemoBytes t)) Source #
Instance details Defined in Data.MemoBytes Methods fromCBOR :: Decoder s ( Annotator ( MemoBytes t)) Source # label :: Proxy ( Annotator ( MemoBytes t)) -> Text Source #
NFData t => NFData ( MemoBytes t) Source #
Instance details Defined in Data.MemoBytes Methods rnf :: MemoBytes t -> () Source #
( Typeable t, NoThunks t) => NoThunks ( MemoBytes t) Source #
Instance details Defined in Data.MemoBytes Methods noThunks :: Context -> MemoBytes t -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> MemoBytes t -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( MemoBytes t) -> String Source #
type Rep ( MemoBytes t) Source #
Instance details Defined in Data.MemoBytes type Rep ( MemoBytes t) = D1 (' MetaData "MemoBytes" "Data.MemoBytes" "cardano-data-0.1.0.0-9WY2vO9HEhB6K2BmAnACTs" ' False ) ( C1 (' MetaCons "Memo" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "memotype") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 t) :*: S1 (' MetaSel (' Just "memobytes") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ShortByteString )))

memoBytes :: Encode w t -> MemoBytes t Source #

type Mem t = Annotator ( MemoBytes t) Source #

Useful when deriving FromCBOR(Annotator T) deriving via (Mem T) instance (Era era) => FromCBOR (Annotator T)

shorten :: ByteString -> ShortByteString Source #

showMemo :: Show t => MemoBytes t -> String Source #

printMemo :: Show t => MemoBytes t -> IO () Source #

roundTripMemo :: FromCBOR t => MemoBytes t -> Either DeserialiseFailure ( ByteString , MemoBytes t) Source #