StreamPatch.Simple

TODO remove ASAP. figure out Aeson with Vinyl

Documentation

data MultiPatch s (v :: Via) a

Constructors

MultiPatch

Fields

• mpData :: a
• mpSeek :: s
• mpCompare :: Maybe (CompareRep v a)
• mpNullTerminates :: Maybe Natural
• mpMaxBytes :: Maybe Natural
• mpAligned :: Maybe Integer

Instances

Functor (MultiPatch s ('ViaDigest h))

Defined in StreamPatch.Simple

Methods

fmap :: (a -> b) -> MultiPatch s ('ViaDigest h) a -> MultiPatch s ('ViaDigest h) b

(<$) :: a -> MultiPatch s ('ViaDigest h) b -> MultiPatch s ('ViaDigest h) a

Functor (MultiPatch s ('ViaEq ec))

Defined in StreamPatch.Simple

Methods

fmap :: (a -> b) -> MultiPatch s ('ViaEq ec) a -> MultiPatch s ('ViaEq ec) b

(<$) :: a -> MultiPatch s ('ViaEq ec) b -> MultiPatch s ('ViaEq ec) a

(FromJSON (CompareRep v a), FromJSON a, FromJSON s) => FromJSON (MultiPatch s v a)

Defined in StreamPatch.Simple

Methods

parseJSON :: Value -> Parser (MultiPatch s v a)

parseJSONList :: Value -> Parser [MultiPatch s v a]

(ToJSON (CompareRep v a), ToJSON a, ToJSON s) => ToJSON (MultiPatch s v a)

Defined in StreamPatch.Simple

Methods

toJSON :: MultiPatch s v a -> Value

toEncoding :: MultiPatch s v a -> Encoding

toJSONList :: [MultiPatch s v a] -> Value

toEncodingList :: [MultiPatch s v a] -> Encoding

Generic (MultiPatch s v a)

Defined in StreamPatch.Simple

Associated Types

type Rep (MultiPatch s v a) :: Type -> Type

Methods

from :: MultiPatch s v a -> Rep (MultiPatch s v a) x

to :: Rep (MultiPatch s v a) x -> MultiPatch s v a

(Show a, Show s, Show (CompareRep v a)) => Show (MultiPatch s v a)

Defined in StreamPatch.Simple

Methods

showsPrec :: Int -> MultiPatch s v a -> ShowS

show :: MultiPatch s v a -> String

showList :: [MultiPatch s v a] -> ShowS

(Eq a, Eq s, Eq (CompareRep v a)) => Eq (MultiPatch s v a)

Defined in StreamPatch.Simple

Methods

(==) :: MultiPatch s v a -> MultiPatch s v a -> Bool

(/=) :: MultiPatch s v a -> MultiPatch s v a -> Bool

type Rep (MultiPatch s v a)

Defined in StreamPatch.Simple

type Rep (MultiPatch s v a) = D1 ('MetaData "MultiPatch" "StreamPatch.Simple" "bytepatch-0.4.1-inplace" 'False) (C1 ('MetaCons "MultiPatch" 'PrefixI 'True) ((S1 ('MetaSel ('Just "mpData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "mpSeek") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 s) :*: S1 ('MetaSel ('Just "mpCompare") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (CompareRep v a))))) :*: (S1 ('MetaSel ('Just "mpNullTerminates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Natural)) :*: (S1 ('MetaSel ('Just "mpMaxBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Natural)) :*: S1 ('MetaSel ('Just "mpAligned") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer))))))

data Aligned p

Constructors

Aligned

Fields

• alignedAlign :: Integer
• alignedPatches :: [p]

Instances

FromJSON p => FromJSON (Aligned p)

Defined in StreamPatch.Simple

Methods

parseJSON :: Value -> Parser (Aligned p)

parseJSONList :: Value -> Parser [Aligned p]

ToJSON p => ToJSON (Aligned p)

Defined in StreamPatch.Simple

Methods

toJSON :: Aligned p -> Value

toEncoding :: Aligned p -> Encoding

toJSONList :: [Aligned p] -> Value

toEncodingList :: [Aligned p] -> Encoding

Generic (Aligned p)

Defined in StreamPatch.Simple

Associated Types

type Rep (Aligned p) :: Type -> Type

Methods

from :: Aligned p -> Rep (Aligned p) x

to :: Rep (Aligned p) x -> Aligned p

Show p => Show (Aligned p)

Defined in StreamPatch.Simple

Methods

showsPrec :: Int -> Aligned p -> ShowS

show :: Aligned p -> String

showList :: [Aligned p] -> ShowS

Eq p => Eq (Aligned p)

Defined in StreamPatch.Simple

Methods

(==) :: Aligned p -> Aligned p -> Bool

(/=) :: Aligned p -> Aligned p -> Bool

type Rep (Aligned p)

Defined in StreamPatch.Simple

type Rep (Aligned p) = D1 ('MetaData "Aligned" "StreamPatch.Simple" "bytepatch-0.4.1-inplace" 'False) (C1 ('MetaCons "Aligned" 'PrefixI 'True) (S1 ('MetaSel ('Just "alignedAlign") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "alignedPatches") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [p])))

jsonCfgCamelDrop :: Int -> Options

convert :: (MultiPatch s v a -> Rec (Flap a) fs) -> MultiPatch s v a -> Patch s fs a

convertBinAlign :: forall a v. MultiPatch Integer v a -> Patch Integer '[Const (Meta Int), Const MetaPrep, Meta v, Meta] a

convertBin :: forall s a v. MultiPatch s v a -> Patch s '[Const MetaPrep, Meta v, Meta] a

convertAlign :: forall a v. MultiPatch Integer v a -> Patch Integer '[Const (Meta Int)] a

convertEmpty :: forall s a v. MultiPatch s v a -> Patch s '[] a

align :: forall st a ss rs is i r. (r ~ Const (Meta st), Num st, Eq st, rs ~ RDelete r ss, RElem r ss i, RSubset rs ss is) => Aligned (Patch Integer ss a) -> Either (Error st) [Patch st rs a]

cmBin :: MultiPatch s c a -> Rec (Flap a) '[Meta]

cmCompare :: MultiPatch s v a -> Rec (Flap a) '[Meta v]

cmBinPrep :: MultiPatch s c a -> Rec (Flap a) '[Const MetaPrep]

cmAlign :: MultiPatch Integer c a -> Rec (Flap a) '[Const (Meta Int)]

cm :: f a -> Rec (Flap a) '[f]

metaWrap1 :: f a -> HFunctorList '[f] a

Convenience function to wrap a single meta into an HFunctorList.

metaEmpty :: HFunctorList '[] a

Convenience function for the empty HFunctorList.

convertBackBin :: forall v s a. Patch s '[Meta v, Meta] a -> MultiPatch s v a