StreamPatch.Patch.Compare

Documentation

data EqualityCheck

Constructors

Exact

PrefixOf

Instances

Data EqualityCheck

Defined in StreamPatch.Patch.Compare

Methods

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

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

toConstr :: EqualityCheck -> Constr

dataTypeOf :: EqualityCheck -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> EqualityCheck -> EqualityCheck

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

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

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

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

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

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

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

Generic EqualityCheck

Defined in StreamPatch.Patch.Compare

Associated Types

type Rep EqualityCheck :: Type -> Type

Methods

from :: EqualityCheck -> Rep EqualityCheck x

to :: Rep EqualityCheck x -> EqualityCheck

Show EqualityCheck

Defined in StreamPatch.Patch.Compare

Methods

showsPrec :: Int -> EqualityCheck -> ShowS

show :: EqualityCheck -> String

showList :: [EqualityCheck] -> ShowS

Eq EqualityCheck

Defined in StreamPatch.Patch.Compare

Methods

(==) :: EqualityCheck -> EqualityCheck -> Bool

(/=) :: EqualityCheck -> EqualityCheck -> Bool

SingKind EqualityCheck

Defined in StreamPatch.Patch.Compare

Associated Types

type Demote EqualityCheck = (r :: Type)

Methods

fromSing :: forall (a :: EqualityCheck). Sing a -> Demote EqualityCheck

toSing :: Demote EqualityCheck -> SomeSing EqualityCheck

SDecide EqualityCheck

Defined in StreamPatch.Patch.Compare

Methods

(%~) :: forall (a :: EqualityCheck) (b :: EqualityCheck). Sing a -> Sing b -> Decision (a :~: b)

PEq EqualityCheck

Defined in StreamPatch.Patch.Compare

Associated Types

type arg == arg1 :: Bool

type arg /= arg1 :: Bool

SEq EqualityCheck

Defined in StreamPatch.Patch.Compare

Methods

(%==) :: forall (t1 :: EqualityCheck) (t2 :: EqualityCheck). Sing t1 -> Sing t2 -> Sing (Apply (Apply (==@#@$) t1) t2)

(%/=) :: forall (t1 :: EqualityCheck) (t2 :: EqualityCheck). Sing t1 -> Sing t2 -> Sing (Apply (Apply (/=@#@$) t1) t2)

PShow EqualityCheck

Defined in StreamPatch.Patch.Compare

Associated Types

type ShowsPrec arg arg1 arg2 :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg1 :: Symbol

SShow EqualityCheck

Defined in StreamPatch.Patch.Compare

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: EqualityCheck) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3)

sShow_ :: forall (t :: EqualityCheck). Sing t -> Sing (Apply Show_Sym0 t)

sShowList :: forall (t1 :: [EqualityCheck]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2)

TestCoercion SEqualityCheck

Defined in StreamPatch.Patch.Compare

Methods

testCoercion :: forall (a :: k) (b :: k). SEqualityCheck a -> SEqualityCheck b -> Maybe (Coercion a b)

TestEquality SEqualityCheck

Defined in StreamPatch.Patch.Compare

Methods

testEquality :: forall (a :: k) (b :: k). SEqualityCheck a -> SEqualityCheck b -> Maybe (a :~: b)

SingI 'Exact

Defined in StreamPatch.Patch.Compare

Methods

sing :: Sing 'Exact

SingI 'PrefixOf

Defined in StreamPatch.Patch.Compare

Methods

sing :: Sing 'PrefixOf

SingI1 'ViaEq

Defined in StreamPatch.Patch.Compare

Methods

liftSing :: forall (x :: k1). Sing x -> Sing ('ViaEq x)

SingI ViaEqSym0

Defined in StreamPatch.Patch.Compare

Methods

sing :: Sing ViaEqSym0

SuppressUnusedWarnings ViaEqSym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings TFHelper_6989586621679159975Sym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowsPrec_6989586621679159439Sym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrec_6989586621679159439Sym1 a6989586621679159449 :: TyFun EqualityCheck (Symbol ~> Symbol) -> Type)

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TFHelper_6989586621679159975Sym1 a6989586621679159980 :: TyFun EqualityCheck Bool -> Type)

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Rep EqualityCheck

Defined in StreamPatch.Patch.Compare

type Rep EqualityCheck = D1 ('MetaData "EqualityCheck" "StreamPatch.Patch.Compare" "bytepatch-0.4.0-inplace" 'False) (C1 ('MetaCons "Exact" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PrefixOf" 'PrefixI 'False) (U1 :: Type -> Type))

type Demote EqualityCheck

Defined in StreamPatch.Patch.Compare

type Demote EqualityCheck = EqualityCheck

type Sing

Defined in StreamPatch.Patch.Compare

type Sing = SEqualityCheck

type Show_ (arg :: EqualityCheck)

Defined in StreamPatch.Patch.Compare

type Show_ (arg :: EqualityCheck) = Apply (Show__6989586621680060318Sym0 :: TyFun EqualityCheck Symbol -> Type) arg

type (arg :: EqualityCheck) /= (arg1 :: EqualityCheck)

Defined in StreamPatch.Patch.Compare

type (arg :: EqualityCheck) /= (arg1 :: EqualityCheck) = Apply (Apply (TFHelper_6989586621679135354Sym0 :: TyFun EqualityCheck (EqualityCheck ~> Bool) -> Type) arg) arg1

type (a1 :: EqualityCheck) == (a2 :: EqualityCheck)

Defined in StreamPatch.Patch.Compare

type (a1 :: EqualityCheck) == (a2 :: EqualityCheck) = Apply (Apply TFHelper_6989586621679159975Sym0 a1) a2

type ShowList (arg :: [EqualityCheck]) arg1

Defined in StreamPatch.Patch.Compare

type ShowList (arg :: [EqualityCheck]) arg1 = Apply (Apply (ShowList_6989586621680060326Sym0 :: TyFun [EqualityCheck] (Symbol ~> Symbol) -> Type) arg) arg1

type Apply ViaEqSym0 (a6989586621679180776 :: EqualityCheck)

Defined in StreamPatch.Patch.Compare

type Apply ViaEqSym0 (a6989586621679180776 :: EqualityCheck) = 'ViaEq a6989586621679180776

type ShowsPrec a1 (a2 :: EqualityCheck) a3

Defined in StreamPatch.Patch.Compare

type ShowsPrec a1 (a2 :: EqualityCheck) a3 = Apply (Apply (Apply ShowsPrec_6989586621679159439Sym0 a1) a2) a3

type Apply (TFHelper_6989586621679159975Sym1 a6989586621679159980 :: TyFun EqualityCheck Bool -> Type) (a6989586621679159981 :: EqualityCheck)

Defined in StreamPatch.Patch.Compare

type Apply (TFHelper_6989586621679159975Sym1 a6989586621679159980 :: TyFun EqualityCheck Bool -> Type) (a6989586621679159981 :: EqualityCheck) = TFHelper_6989586621679159975 a6989586621679159980 a6989586621679159981

type Apply TFHelper_6989586621679159975Sym0 (a6989586621679159980 :: EqualityCheck)

Defined in StreamPatch.Patch.Compare

type Apply TFHelper_6989586621679159975Sym0 (a6989586621679159980 :: EqualityCheck) = TFHelper_6989586621679159975Sym1 a6989586621679159980

type Apply ShowsPrec_6989586621679159439Sym0 (a6989586621679159449 :: Natural)

Defined in StreamPatch.Patch.Compare

type Apply ShowsPrec_6989586621679159439Sym0 (a6989586621679159449 :: Natural) = ShowsPrec_6989586621679159439Sym1 a6989586621679159449

type Apply (ShowsPrec_6989586621679159439Sym1 a6989586621679159449 :: TyFun EqualityCheck (Symbol ~> Symbol) -> Type) (a6989586621679159450 :: EqualityCheck)

Defined in StreamPatch.Patch.Compare

type Apply (ShowsPrec_6989586621679159439Sym1 a6989586621679159449 :: TyFun EqualityCheck (Symbol ~> Symbol) -> Type) (a6989586621679159450 :: EqualityCheck) = ShowsPrec_6989586621679159439Sym2 a6989586621679159449 a6989586621679159450

type family ExactSym0 :: EqualityCheck where ...

Equations

ExactSym0 = Exact

type family PrefixOfSym0 :: EqualityCheck where ...

Equations

PrefixOfSym0 = PrefixOf

type family ShowsPrec_6989586621679159439 (a :: Natural) (a :: EqualityCheck) (a :: Symbol) :: Symbol where ...

Equations

ShowsPrec_6989586621679159439 _ Exact a_6989586621679159441 = Apply (Apply ShowStringSym0 (FromString "Exact")) a_6989586621679159441

ShowsPrec_6989586621679159439 _ PrefixOf a_6989586621679159443 = Apply (Apply ShowStringSym0 (FromString "PrefixOf")) a_6989586621679159443

type family ShowsPrec_6989586621679159439Sym3 (a6989586621679159449 :: Natural) (a6989586621679159450 :: EqualityCheck) (a6989586621679159451 :: Symbol) :: Symbol where ...

Equations

ShowsPrec_6989586621679159439Sym3 a6989586621679159449 a6989586621679159450 a6989586621679159451 = ShowsPrec_6989586621679159439 a6989586621679159449 a6989586621679159450 a6989586621679159451

data ShowsPrec_6989586621679159439Sym2 (a6989586621679159449 :: Natural) (a6989586621679159450 :: EqualityCheck) :: (~>) Symbol Symbol where

Constructors

ShowsPrec_6989586621679159439Sym2KindInference :: SameKind (Apply (ShowsPrec_6989586621679159439Sym2 a6989586621679159449 a6989586621679159450) arg) (ShowsPrec_6989586621679159439Sym3 a6989586621679159449 a6989586621679159450 arg) => ShowsPrec_6989586621679159439Sym2 a6989586621679159449 a6989586621679159450 a6989586621679159451

Instances

SuppressUnusedWarnings (ShowsPrec_6989586621679159439Sym2 a6989586621679159449 a6989586621679159450 :: TyFun Symbol Symbol -> Type)

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsPrec_6989586621679159439Sym2 a6989586621679159449 a6989586621679159450 :: TyFun Symbol Symbol -> Type) (a6989586621679159451 :: Symbol)

Defined in StreamPatch.Patch.Compare

type Apply (ShowsPrec_6989586621679159439Sym2 a6989586621679159449 a6989586621679159450 :: TyFun Symbol Symbol -> Type) (a6989586621679159451 :: Symbol) = ShowsPrec_6989586621679159439 a6989586621679159449 a6989586621679159450 a6989586621679159451

data ShowsPrec_6989586621679159439Sym1 (a6989586621679159449 :: Natural) :: (~>) EqualityCheck ((~>) Symbol Symbol) where

Constructors

ShowsPrec_6989586621679159439Sym1KindInference :: SameKind (Apply (ShowsPrec_6989586621679159439Sym1 a6989586621679159449) arg) (ShowsPrec_6989586621679159439Sym2 a6989586621679159449 arg) => ShowsPrec_6989586621679159439Sym1 a6989586621679159449 a6989586621679159450

Instances

SuppressUnusedWarnings (ShowsPrec_6989586621679159439Sym1 a6989586621679159449 :: TyFun EqualityCheck (Symbol ~> Symbol) -> Type)

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsPrec_6989586621679159439Sym1 a6989586621679159449 :: TyFun EqualityCheck (Symbol ~> Symbol) -> Type) (a6989586621679159450 :: EqualityCheck)

Defined in StreamPatch.Patch.Compare

type Apply (ShowsPrec_6989586621679159439Sym1 a6989586621679159449 :: TyFun EqualityCheck (Symbol ~> Symbol) -> Type) (a6989586621679159450 :: EqualityCheck) = ShowsPrec_6989586621679159439Sym2 a6989586621679159449 a6989586621679159450

data ShowsPrec_6989586621679159439Sym0 :: (~>) Natural ((~>) EqualityCheck ((~>) Symbol Symbol)) where

Constructors

ShowsPrec_6989586621679159439Sym0KindInference :: SameKind (Apply ShowsPrec_6989586621679159439Sym0 arg) (ShowsPrec_6989586621679159439Sym1 arg) => ShowsPrec_6989586621679159439Sym0 a6989586621679159449

Instances

SuppressUnusedWarnings ShowsPrec_6989586621679159439Sym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply ShowsPrec_6989586621679159439Sym0 (a6989586621679159449 :: Natural)

Defined in StreamPatch.Patch.Compare

type Apply ShowsPrec_6989586621679159439Sym0 (a6989586621679159449 :: Natural) = ShowsPrec_6989586621679159439Sym1 a6989586621679159449

type family TFHelper_6989586621679159975 (a :: EqualityCheck) (a :: EqualityCheck) :: Bool where ...

Equations

TFHelper_6989586621679159975 Exact Exact = TrueSym0

TFHelper_6989586621679159975 Exact PrefixOf = FalseSym0

TFHelper_6989586621679159975 PrefixOf Exact = FalseSym0

TFHelper_6989586621679159975 PrefixOf PrefixOf = TrueSym0

type family TFHelper_6989586621679159975Sym2 (a6989586621679159980 :: EqualityCheck) (a6989586621679159981 :: EqualityCheck) :: Bool where ...

Equations

TFHelper_6989586621679159975Sym2 a6989586621679159980 a6989586621679159981 = TFHelper_6989586621679159975 a6989586621679159980 a6989586621679159981

data TFHelper_6989586621679159975Sym1 (a6989586621679159980 :: EqualityCheck) :: (~>) EqualityCheck Bool where

Constructors

TFHelper_6989586621679159975Sym1KindInference :: SameKind (Apply (TFHelper_6989586621679159975Sym1 a6989586621679159980) arg) (TFHelper_6989586621679159975Sym2 a6989586621679159980 arg) => TFHelper_6989586621679159975Sym1 a6989586621679159980 a6989586621679159981

Instances

SuppressUnusedWarnings (TFHelper_6989586621679159975Sym1 a6989586621679159980 :: TyFun EqualityCheck Bool -> Type)

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply (TFHelper_6989586621679159975Sym1 a6989586621679159980 :: TyFun EqualityCheck Bool -> Type) (a6989586621679159981 :: EqualityCheck)

Defined in StreamPatch.Patch.Compare

type Apply (TFHelper_6989586621679159975Sym1 a6989586621679159980 :: TyFun EqualityCheck Bool -> Type) (a6989586621679159981 :: EqualityCheck) = TFHelper_6989586621679159975 a6989586621679159980 a6989586621679159981

data TFHelper_6989586621679159975Sym0 :: (~>) EqualityCheck ((~>) EqualityCheck Bool) where

Constructors

TFHelper_6989586621679159975Sym0KindInference :: SameKind (Apply TFHelper_6989586621679159975Sym0 arg) (TFHelper_6989586621679159975Sym1 arg) => TFHelper_6989586621679159975Sym0 a6989586621679159980

Instances

SuppressUnusedWarnings TFHelper_6989586621679159975Sym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply TFHelper_6989586621679159975Sym0 (a6989586621679159980 :: EqualityCheck)

Defined in StreamPatch.Patch.Compare

type Apply TFHelper_6989586621679159975Sym0 (a6989586621679159980 :: EqualityCheck) = TFHelper_6989586621679159975Sym1 a6989586621679159980

data SEqualityCheck :: EqualityCheck -> Type where

Constructors

SExact :: SEqualityCheck (Exact :: EqualityCheck)

SPrefixOf :: SEqualityCheck (PrefixOf :: EqualityCheck)

Instances

TestCoercion SEqualityCheck

Defined in StreamPatch.Patch.Compare

Methods

testCoercion :: forall (a :: k) (b :: k). SEqualityCheck a -> SEqualityCheck b -> Maybe (Coercion a b)

TestEquality SEqualityCheck

Defined in StreamPatch.Patch.Compare

Methods

testEquality :: forall (a :: k) (b :: k). SEqualityCheck a -> SEqualityCheck b -> Maybe (a :~: b)

Show (SEqualityCheck z)

Defined in StreamPatch.Patch.Compare

Methods

showsPrec :: Int -> SEqualityCheck z -> ShowS

show :: SEqualityCheck z -> String

showList :: [SEqualityCheck z] -> ShowS

data HashFunc

Constructors

B3

SHA256

MD5

Instances

Data HashFunc

Defined in StreamPatch.Patch.Compare

Methods

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

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

toConstr :: HashFunc -> Constr

dataTypeOf :: HashFunc -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> HashFunc -> HashFunc

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

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

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

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

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

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

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

Generic HashFunc

Defined in StreamPatch.Patch.Compare

Associated Types

type Rep HashFunc :: Type -> Type

Methods

from :: HashFunc -> Rep HashFunc x

to :: Rep HashFunc x -> HashFunc

Show HashFunc

Defined in StreamPatch.Patch.Compare

Methods

showsPrec :: Int -> HashFunc -> ShowS

show :: HashFunc -> String

showList :: [HashFunc] -> ShowS

Eq HashFunc

Defined in StreamPatch.Patch.Compare

Methods

(==) :: HashFunc -> HashFunc -> Bool

(/=) :: HashFunc -> HashFunc -> Bool

SingKind HashFunc

Defined in StreamPatch.Patch.Compare

Associated Types

type Demote HashFunc = (r :: Type)

Methods

fromSing :: forall (a :: HashFunc). Sing a -> Demote HashFunc

toSing :: Demote HashFunc -> SomeSing HashFunc

SDecide HashFunc

Defined in StreamPatch.Patch.Compare

Methods

(%~) :: forall (a :: HashFunc) (b :: HashFunc). Sing a -> Sing b -> Decision (a :~: b)

PEq HashFunc

Defined in StreamPatch.Patch.Compare

Associated Types

type arg == arg1 :: Bool

type arg /= arg1 :: Bool

SEq HashFunc

Defined in StreamPatch.Patch.Compare

Methods

(%==) :: forall (t1 :: HashFunc) (t2 :: HashFunc). Sing t1 -> Sing t2 -> Sing (Apply (Apply (==@#@$) t1) t2)

(%/=) :: forall (t1 :: HashFunc) (t2 :: HashFunc). Sing t1 -> Sing t2 -> Sing (Apply (Apply (/=@#@$) t1) t2)

PShow HashFunc

Defined in StreamPatch.Patch.Compare

Associated Types

type ShowsPrec arg arg1 arg2 :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg1 :: Symbol

SShow HashFunc

Defined in StreamPatch.Patch.Compare

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: HashFunc) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3)

sShow_ :: forall (t :: HashFunc). Sing t -> Sing (Apply Show_Sym0 t)

sShowList :: forall (t1 :: [HashFunc]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2)

TestCoercion SHashFunc

Defined in StreamPatch.Patch.Compare

Methods

testCoercion :: forall (a :: k) (b :: k). SHashFunc a -> SHashFunc b -> Maybe (Coercion a b)

TestEquality SHashFunc

Defined in StreamPatch.Patch.Compare

Methods

testEquality :: forall (a :: k) (b :: k). SHashFunc a -> SHashFunc b -> Maybe (a :~: b)

SingI 'B3

Defined in StreamPatch.Patch.Compare

Methods

sing :: Sing 'B3

SingI 'MD5

Defined in StreamPatch.Patch.Compare

Methods

sing :: Sing 'MD5

SingI 'SHA256

Defined in StreamPatch.Patch.Compare

Methods

sing :: Sing 'SHA256

SingI1 'ViaDigest

Defined in StreamPatch.Patch.Compare

Methods

liftSing :: forall (x :: k1). Sing x -> Sing ('ViaDigest x)

SingI ViaDigestSym0

Defined in StreamPatch.Patch.Compare

Methods

sing :: Sing ViaDigestSym0

SuppressUnusedWarnings ViaDigestSym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings TFHelper_6989586621679178583Sym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowsPrec_6989586621679178563Sym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrec_6989586621679178563Sym1 a6989586621679178575 :: TyFun HashFunc (Symbol ~> Symbol) -> Type)

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TFHelper_6989586621679178583Sym1 a6989586621679178588 :: TyFun HashFunc Bool -> Type)

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Rep HashFunc

Defined in StreamPatch.Patch.Compare

type Rep HashFunc = D1 ('MetaData "HashFunc" "StreamPatch.Patch.Compare" "bytepatch-0.4.0-inplace" 'False) (C1 ('MetaCons "B3" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SHA256" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MD5" 'PrefixI 'False) (U1 :: Type -> Type)))

type Demote HashFunc

Defined in StreamPatch.Patch.Compare

type Demote HashFunc = HashFunc

type Sing

Defined in StreamPatch.Patch.Compare

type Sing = SHashFunc

type Show_ (arg :: HashFunc)

Defined in StreamPatch.Patch.Compare

type Show_ (arg :: HashFunc) = Apply (Show__6989586621680060318Sym0 :: TyFun HashFunc Symbol -> Type) arg

type (arg :: HashFunc) /= (arg1 :: HashFunc)

Defined in StreamPatch.Patch.Compare

type (arg :: HashFunc) /= (arg1 :: HashFunc) = Apply (Apply (TFHelper_6989586621679135354Sym0 :: TyFun HashFunc (HashFunc ~> Bool) -> Type) arg) arg1

type (a1 :: HashFunc) == (a2 :: HashFunc)

Defined in StreamPatch.Patch.Compare

type (a1 :: HashFunc) == (a2 :: HashFunc) = Apply (Apply TFHelper_6989586621679178583Sym0 a1) a2

type ShowList (arg :: [HashFunc]) arg1

Defined in StreamPatch.Patch.Compare

type ShowList (arg :: [HashFunc]) arg1 = Apply (Apply (ShowList_6989586621680060326Sym0 :: TyFun [HashFunc] (Symbol ~> Symbol) -> Type) arg) arg1

type Apply ViaDigestSym0 (a6989586621679180779 :: HashFunc)

Defined in StreamPatch.Patch.Compare

type Apply ViaDigestSym0 (a6989586621679180779 :: HashFunc) = 'ViaDigest a6989586621679180779

type ShowsPrec a1 (a2 :: HashFunc) a3

Defined in StreamPatch.Patch.Compare

type ShowsPrec a1 (a2 :: HashFunc) a3 = Apply (Apply (Apply ShowsPrec_6989586621679178563Sym0 a1) a2) a3

type Apply (TFHelper_6989586621679178583Sym1 a6989586621679178588 :: TyFun HashFunc Bool -> Type) (a6989586621679178589 :: HashFunc)

Defined in StreamPatch.Patch.Compare

type Apply (TFHelper_6989586621679178583Sym1 a6989586621679178588 :: TyFun HashFunc Bool -> Type) (a6989586621679178589 :: HashFunc) = TFHelper_6989586621679178583 a6989586621679178588 a6989586621679178589

type Apply TFHelper_6989586621679178583Sym0 (a6989586621679178588 :: HashFunc)

Defined in StreamPatch.Patch.Compare

type Apply TFHelper_6989586621679178583Sym0 (a6989586621679178588 :: HashFunc) = TFHelper_6989586621679178583Sym1 a6989586621679178588

type Apply ShowsPrec_6989586621679178563Sym0 (a6989586621679178575 :: Natural)

Defined in StreamPatch.Patch.Compare

type Apply ShowsPrec_6989586621679178563Sym0 (a6989586621679178575 :: Natural) = ShowsPrec_6989586621679178563Sym1 a6989586621679178575

type Apply (ShowsPrec_6989586621679178563Sym1 a6989586621679178575 :: TyFun HashFunc (Symbol ~> Symbol) -> Type) (a6989586621679178576 :: HashFunc)

Defined in StreamPatch.Patch.Compare

type Apply (ShowsPrec_6989586621679178563Sym1 a6989586621679178575 :: TyFun HashFunc (Symbol ~> Symbol) -> Type) (a6989586621679178576 :: HashFunc) = ShowsPrec_6989586621679178563Sym2 a6989586621679178575 a6989586621679178576

type family B3Sym0 :: HashFunc where ...

Equations

B3Sym0 = B3

type family SHA256Sym0 :: HashFunc where ...

Equations

SHA256Sym0 = SHA256

type family MD5Sym0 :: HashFunc where ...

Equations

MD5Sym0 = MD5

type family ShowsPrec_6989586621679178563 (a :: Natural) (a :: HashFunc) (a :: Symbol) :: Symbol where ...

Equations

ShowsPrec_6989586621679178563 _ B3 a_6989586621679178565 = Apply (Apply ShowStringSym0 (FromString "B3")) a_6989586621679178565

ShowsPrec_6989586621679178563 _ SHA256 a_6989586621679178567 = Apply (Apply ShowStringSym0 (FromString "SHA256")) a_6989586621679178567

ShowsPrec_6989586621679178563 _ MD5 a_6989586621679178569 = Apply (Apply ShowStringSym0 (FromString "MD5")) a_6989586621679178569

type family ShowsPrec_6989586621679178563Sym3 (a6989586621679178575 :: Natural) (a6989586621679178576 :: HashFunc) (a6989586621679178577 :: Symbol) :: Symbol where ...

Equations

ShowsPrec_6989586621679178563Sym3 a6989586621679178575 a6989586621679178576 a6989586621679178577 = ShowsPrec_6989586621679178563 a6989586621679178575 a6989586621679178576 a6989586621679178577

data ShowsPrec_6989586621679178563Sym2 (a6989586621679178575 :: Natural) (a6989586621679178576 :: HashFunc) :: (~>) Symbol Symbol where

Constructors

ShowsPrec_6989586621679178563Sym2KindInference :: SameKind (Apply (ShowsPrec_6989586621679178563Sym2 a6989586621679178575 a6989586621679178576) arg) (ShowsPrec_6989586621679178563Sym3 a6989586621679178575 a6989586621679178576 arg) => ShowsPrec_6989586621679178563Sym2 a6989586621679178575 a6989586621679178576 a6989586621679178577

Instances

SuppressUnusedWarnings (ShowsPrec_6989586621679178563Sym2 a6989586621679178575 a6989586621679178576 :: TyFun Symbol Symbol -> Type)

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsPrec_6989586621679178563Sym2 a6989586621679178575 a6989586621679178576 :: TyFun Symbol Symbol -> Type) (a6989586621679178577 :: Symbol)

Defined in StreamPatch.Patch.Compare

type Apply (ShowsPrec_6989586621679178563Sym2 a6989586621679178575 a6989586621679178576 :: TyFun Symbol Symbol -> Type) (a6989586621679178577 :: Symbol) = ShowsPrec_6989586621679178563 a6989586621679178575 a6989586621679178576 a6989586621679178577

data ShowsPrec_6989586621679178563Sym1 (a6989586621679178575 :: Natural) :: (~>) HashFunc ((~>) Symbol Symbol) where

Constructors

ShowsPrec_6989586621679178563Sym1KindInference :: SameKind (Apply (ShowsPrec_6989586621679178563Sym1 a6989586621679178575) arg) (ShowsPrec_6989586621679178563Sym2 a6989586621679178575 arg) => ShowsPrec_6989586621679178563Sym1 a6989586621679178575 a6989586621679178576

Instances

SuppressUnusedWarnings (ShowsPrec_6989586621679178563Sym1 a6989586621679178575 :: TyFun HashFunc (Symbol ~> Symbol) -> Type)

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsPrec_6989586621679178563Sym1 a6989586621679178575 :: TyFun HashFunc (Symbol ~> Symbol) -> Type) (a6989586621679178576 :: HashFunc)

Defined in StreamPatch.Patch.Compare

type Apply (ShowsPrec_6989586621679178563Sym1 a6989586621679178575 :: TyFun HashFunc (Symbol ~> Symbol) -> Type) (a6989586621679178576 :: HashFunc) = ShowsPrec_6989586621679178563Sym2 a6989586621679178575 a6989586621679178576

data ShowsPrec_6989586621679178563Sym0 :: (~>) Natural ((~>) HashFunc ((~>) Symbol Symbol)) where

Constructors

ShowsPrec_6989586621679178563Sym0KindInference :: SameKind (Apply ShowsPrec_6989586621679178563Sym0 arg) (ShowsPrec_6989586621679178563Sym1 arg) => ShowsPrec_6989586621679178563Sym0 a6989586621679178575

Instances

SuppressUnusedWarnings ShowsPrec_6989586621679178563Sym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply ShowsPrec_6989586621679178563Sym0 (a6989586621679178575 :: Natural)

Defined in StreamPatch.Patch.Compare

type Apply ShowsPrec_6989586621679178563Sym0 (a6989586621679178575 :: Natural) = ShowsPrec_6989586621679178563Sym1 a6989586621679178575

type family TFHelper_6989586621679178583 (a :: HashFunc) (a :: HashFunc) :: Bool where ...

Equations

TFHelper_6989586621679178583 B3 B3 = TrueSym0

TFHelper_6989586621679178583 B3 SHA256 = FalseSym0

TFHelper_6989586621679178583 B3 MD5 = FalseSym0

TFHelper_6989586621679178583 SHA256 B3 = FalseSym0

TFHelper_6989586621679178583 SHA256 SHA256 = TrueSym0

TFHelper_6989586621679178583 SHA256 MD5 = FalseSym0

TFHelper_6989586621679178583 MD5 B3 = FalseSym0

TFHelper_6989586621679178583 MD5 SHA256 = FalseSym0

TFHelper_6989586621679178583 MD5 MD5 = TrueSym0

type family TFHelper_6989586621679178583Sym2 (a6989586621679178588 :: HashFunc) (a6989586621679178589 :: HashFunc) :: Bool where ...

Equations

TFHelper_6989586621679178583Sym2 a6989586621679178588 a6989586621679178589 = TFHelper_6989586621679178583 a6989586621679178588 a6989586621679178589

data TFHelper_6989586621679178583Sym1 (a6989586621679178588 :: HashFunc) :: (~>) HashFunc Bool where

Constructors

TFHelper_6989586621679178583Sym1KindInference :: SameKind (Apply (TFHelper_6989586621679178583Sym1 a6989586621679178588) arg) (TFHelper_6989586621679178583Sym2 a6989586621679178588 arg) => TFHelper_6989586621679178583Sym1 a6989586621679178588 a6989586621679178589

Instances

SuppressUnusedWarnings (TFHelper_6989586621679178583Sym1 a6989586621679178588 :: TyFun HashFunc Bool -> Type)

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply (TFHelper_6989586621679178583Sym1 a6989586621679178588 :: TyFun HashFunc Bool -> Type) (a6989586621679178589 :: HashFunc)

Defined in StreamPatch.Patch.Compare

type Apply (TFHelper_6989586621679178583Sym1 a6989586621679178588 :: TyFun HashFunc Bool -> Type) (a6989586621679178589 :: HashFunc) = TFHelper_6989586621679178583 a6989586621679178588 a6989586621679178589

data TFHelper_6989586621679178583Sym0 :: (~>) HashFunc ((~>) HashFunc Bool) where

Constructors

TFHelper_6989586621679178583Sym0KindInference :: SameKind (Apply TFHelper_6989586621679178583Sym0 arg) (TFHelper_6989586621679178583Sym1 arg) => TFHelper_6989586621679178583Sym0 a6989586621679178588

Instances

SuppressUnusedWarnings TFHelper_6989586621679178583Sym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply TFHelper_6989586621679178583Sym0 (a6989586621679178588 :: HashFunc)

Defined in StreamPatch.Patch.Compare

type Apply TFHelper_6989586621679178583Sym0 (a6989586621679178588 :: HashFunc) = TFHelper_6989586621679178583Sym1 a6989586621679178588

data SHashFunc :: HashFunc -> Type where

Constructors

SB3 :: SHashFunc (B3 :: HashFunc)

SSHA256 :: SHashFunc (SHA256 :: HashFunc)

SMD5 :: SHashFunc (MD5 :: HashFunc)

Instances

TestCoercion SHashFunc

Defined in StreamPatch.Patch.Compare

Methods

testCoercion :: forall (a :: k) (b :: k). SHashFunc a -> SHashFunc b -> Maybe (Coercion a b)

TestEquality SHashFunc

Defined in StreamPatch.Patch.Compare

Methods

testEquality :: forall (a :: k) (b :: k). SHashFunc a -> SHashFunc b -> Maybe (a :~: b)

Show (SHashFunc z)

Defined in StreamPatch.Patch.Compare

Methods

showsPrec :: Int -> SHashFunc z -> ShowS

show :: SHashFunc z -> String

showList :: [SHashFunc z] -> ShowS

data Via

Constructors

ViaEq EqualityCheck

ViaSize

ViaDigest HashFunc

Instances

Data Via

Defined in StreamPatch.Patch.Compare

Methods

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

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

toConstr :: Via -> Constr

dataTypeOf :: Via -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> Via -> Via

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

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

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

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

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

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

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

Generic Via

Defined in StreamPatch.Patch.Compare

Associated Types

type Rep Via :: Type -> Type

Methods

from :: Via -> Rep Via x

to :: Rep Via x -> Via

Show Via

Defined in StreamPatch.Patch.Compare

Methods

showsPrec :: Int -> Via -> ShowS

show :: Via -> String

showList :: [Via] -> ShowS

Eq Via

Defined in StreamPatch.Patch.Compare

Methods

(==) :: Via -> Via -> Bool

(/=) :: Via -> Via -> Bool

SingKind Via

Defined in StreamPatch.Patch.Compare

Associated Types

type Demote Via = (r :: Type)

Methods

fromSing :: forall (a :: Via). Sing a -> Demote Via

toSing :: Demote Via -> SomeSing Via

(SDecide EqualityCheck, SDecide HashFunc) => SDecide Via

Defined in StreamPatch.Patch.Compare

Methods

(%~) :: forall (a :: Via) (b :: Via). Sing a -> Sing b -> Decision (a :~: b)

PEq Via

Defined in StreamPatch.Patch.Compare

Associated Types

type arg == arg1 :: Bool

type arg /= arg1 :: Bool

(SEq EqualityCheck, SEq HashFunc) => SEq Via

Defined in StreamPatch.Patch.Compare

Methods

(%==) :: forall (t1 :: Via) (t2 :: Via). Sing t1 -> Sing t2 -> Sing (Apply (Apply (==@#@$) t1) t2)

(%/=) :: forall (t1 :: Via) (t2 :: Via). Sing t1 -> Sing t2 -> Sing (Apply (Apply (/=@#@$) t1) t2)

PShow Via

Defined in StreamPatch.Patch.Compare

Associated Types

type ShowsPrec arg arg1 arg2 :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg1 :: Symbol

(SShow EqualityCheck, SShow HashFunc) => SShow Via

Defined in StreamPatch.Patch.Compare

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Via) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3)

sShow_ :: forall (t :: Via). Sing t -> Sing (Apply Show_Sym0 t)

sShowList :: forall (t1 :: [Via]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2)

(SDecide EqualityCheck, SDecide HashFunc) => TestCoercion SVia

Defined in StreamPatch.Patch.Compare

Methods

testCoercion :: forall (a :: k) (b :: k). SVia a -> SVia b -> Maybe (Coercion a b)

(SDecide EqualityCheck, SDecide HashFunc) => TestEquality SVia

Defined in StreamPatch.Patch.Compare

Methods

testEquality :: forall (a :: k) (b :: k). SVia a -> SVia b -> Maybe (a :~: b)

SingI 'ViaSize

Defined in StreamPatch.Patch.Compare

Methods

sing :: Sing 'ViaSize

SingI1 'ViaEq

Defined in StreamPatch.Patch.Compare

Methods

liftSing :: forall (x :: k1). Sing x -> Sing ('ViaEq x)

SingI1 'ViaDigest

Defined in StreamPatch.Patch.Compare

Methods

liftSing :: forall (x :: k1). Sing x -> Sing ('ViaDigest x)

SingI n => SingI ('ViaDigest n :: Via)

Defined in StreamPatch.Patch.Compare

Methods

sing :: Sing ('ViaDigest n)

SingI n => SingI ('ViaEq n :: Via)

Defined in StreamPatch.Patch.Compare

Methods

sing :: Sing ('ViaEq n)

SingI ViaEqSym0

Defined in StreamPatch.Patch.Compare

Methods

sing :: Sing ViaEqSym0

SingI ViaDigestSym0

Defined in StreamPatch.Patch.Compare

Methods

sing :: Sing ViaDigestSym0

SuppressUnusedWarnings ViaEqSym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ViaDigestSym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings TFHelper_6989586621679180807Sym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowsPrec_6989586621679180783Sym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrec_6989586621679180783Sym1 a6989586621679180795 :: TyFun Via (Symbol ~> Symbol) -> Type)

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TFHelper_6989586621679180807Sym1 a6989586621679180812 :: TyFun Via Bool -> Type)

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Rep Via

Defined in StreamPatch.Patch.Compare

type Rep Via = D1 ('MetaData "Via" "StreamPatch.Patch.Compare" "bytepatch-0.4.0-inplace" 'False) (C1 ('MetaCons "ViaEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EqualityCheck)) :+: (C1 ('MetaCons "ViaSize" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ViaDigest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HashFunc))))

type Demote Via

Defined in StreamPatch.Patch.Compare

type Demote Via = Via

type Sing

Defined in StreamPatch.Patch.Compare

type Sing = SVia

type Show_ (arg :: Via)

Defined in StreamPatch.Patch.Compare

type Show_ (arg :: Via) = Apply (Show__6989586621680060318Sym0 :: TyFun Via Symbol -> Type) arg

type (arg :: Via) /= (arg1 :: Via)

Defined in StreamPatch.Patch.Compare

type (arg :: Via) /= (arg1 :: Via) = Apply (Apply (TFHelper_6989586621679135354Sym0 :: TyFun Via (Via ~> Bool) -> Type) arg) arg1

type (a1 :: Via) == (a2 :: Via)

Defined in StreamPatch.Patch.Compare

type (a1 :: Via) == (a2 :: Via) = Apply (Apply TFHelper_6989586621679180807Sym0 a1) a2

type ShowList (arg :: [Via]) arg1

Defined in StreamPatch.Patch.Compare

type ShowList (arg :: [Via]) arg1 = Apply (Apply (ShowList_6989586621680060326Sym0 :: TyFun [Via] (Symbol ~> Symbol) -> Type) arg) arg1

type Apply ViaEqSym0 (a6989586621679180776 :: EqualityCheck)

Defined in StreamPatch.Patch.Compare

type Apply ViaEqSym0 (a6989586621679180776 :: EqualityCheck) = 'ViaEq a6989586621679180776

type Apply ViaDigestSym0 (a6989586621679180779 :: HashFunc)

Defined in StreamPatch.Patch.Compare

type Apply ViaDigestSym0 (a6989586621679180779 :: HashFunc) = 'ViaDigest a6989586621679180779

type ShowsPrec a1 (a2 :: Via) a3

Defined in StreamPatch.Patch.Compare

type ShowsPrec a1 (a2 :: Via) a3 = Apply (Apply (Apply ShowsPrec_6989586621679180783Sym0 a1) a2) a3

type Apply (TFHelper_6989586621679180807Sym1 a6989586621679180812 :: TyFun Via Bool -> Type) (a6989586621679180813 :: Via)

Defined in StreamPatch.Patch.Compare

type Apply (TFHelper_6989586621679180807Sym1 a6989586621679180812 :: TyFun Via Bool -> Type) (a6989586621679180813 :: Via) = TFHelper_6989586621679180807 a6989586621679180812 a6989586621679180813

type Apply TFHelper_6989586621679180807Sym0 (a6989586621679180812 :: Via)

Defined in StreamPatch.Patch.Compare

type Apply TFHelper_6989586621679180807Sym0 (a6989586621679180812 :: Via) = TFHelper_6989586621679180807Sym1 a6989586621679180812

type Apply ShowsPrec_6989586621679180783Sym0 (a6989586621679180795 :: Natural)

Defined in StreamPatch.Patch.Compare

type Apply ShowsPrec_6989586621679180783Sym0 (a6989586621679180795 :: Natural) = ShowsPrec_6989586621679180783Sym1 a6989586621679180795

type Apply (ShowsPrec_6989586621679180783Sym1 a6989586621679180795 :: TyFun Via (Symbol ~> Symbol) -> Type) (a6989586621679180796 :: Via)

Defined in StreamPatch.Patch.Compare

type Apply (ShowsPrec_6989586621679180783Sym1 a6989586621679180795 :: TyFun Via (Symbol ~> Symbol) -> Type) (a6989586621679180796 :: Via) = ShowsPrec_6989586621679180783Sym2 a6989586621679180795 a6989586621679180796

type family ViaEqSym1 (a6989586621679180776 :: EqualityCheck) :: Via where ...

Equations

ViaEqSym1 a6989586621679180776 = ViaEq a6989586621679180776

data ViaEqSym0 :: (~>) EqualityCheck Via where

Constructors

ViaEqSym0KindInference :: SameKind (Apply ViaEqSym0 arg) (ViaEqSym1 arg) => ViaEqSym0 a6989586621679180776

Instances

SingI ViaEqSym0

Defined in StreamPatch.Patch.Compare

Methods

sing :: Sing ViaEqSym0

SuppressUnusedWarnings ViaEqSym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply ViaEqSym0 (a6989586621679180776 :: EqualityCheck)

Defined in StreamPatch.Patch.Compare

type Apply ViaEqSym0 (a6989586621679180776 :: EqualityCheck) = 'ViaEq a6989586621679180776

type family ViaSizeSym0 :: Via where ...

Equations

ViaSizeSym0 = ViaSize

type family ViaDigestSym1 (a6989586621679180779 :: HashFunc) :: Via where ...

Equations

ViaDigestSym1 a6989586621679180779 = ViaDigest a6989586621679180779

data ViaDigestSym0 :: (~>) HashFunc Via where

Constructors

ViaDigestSym0KindInference :: SameKind (Apply ViaDigestSym0 arg) (ViaDigestSym1 arg) => ViaDigestSym0 a6989586621679180779

Instances

SingI ViaDigestSym0

Defined in StreamPatch.Patch.Compare

Methods

sing :: Sing ViaDigestSym0

SuppressUnusedWarnings ViaDigestSym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply ViaDigestSym0 (a6989586621679180779 :: HashFunc)

Defined in StreamPatch.Patch.Compare

type Apply ViaDigestSym0 (a6989586621679180779 :: HashFunc) = 'ViaDigest a6989586621679180779

type family ShowsPrec_6989586621679180783 (a :: Natural) (a :: Via) (a :: Symbol) :: Symbol where ...

Equations

ShowsPrec_6989586621679180783 p_6989586621679180761 (ViaEq arg_6989586621679180763) a_6989586621679180785 = Apply (Apply (Apply ShowParenSym0 (Apply (Apply (>@#@$) p_6989586621679180761) (FromInteger 10))) (Apply (Apply (.@#@$) (Apply ShowStringSym0 (FromString "ViaEq "))) (Apply (Apply ShowsPrecSym0 (FromInteger 11)) arg_6989586621679180763))) a_6989586621679180785

ShowsPrec_6989586621679180783 _ ViaSize a_6989586621679180787 = Apply (Apply ShowStringSym0 (FromString "ViaSize")) a_6989586621679180787

ShowsPrec_6989586621679180783 p_6989586621679180761 (ViaDigest arg_6989586621679180765) a_6989586621679180789 = Apply (Apply (Apply ShowParenSym0 (Apply (Apply (>@#@$) p_6989586621679180761) (FromInteger 10))) (Apply (Apply (.@#@$) (Apply ShowStringSym0 (FromString "ViaDigest "))) (Apply (Apply ShowsPrecSym0 (FromInteger 11)) arg_6989586621679180765))) a_6989586621679180789

type family ShowsPrec_6989586621679180783Sym3 (a6989586621679180795 :: Natural) (a6989586621679180796 :: Via) (a6989586621679180797 :: Symbol) :: Symbol where ...

Equations

ShowsPrec_6989586621679180783Sym3 a6989586621679180795 a6989586621679180796 a6989586621679180797 = ShowsPrec_6989586621679180783 a6989586621679180795 a6989586621679180796 a6989586621679180797

data ShowsPrec_6989586621679180783Sym2 (a6989586621679180795 :: Natural) (a6989586621679180796 :: Via) :: (~>) Symbol Symbol where

Constructors

ShowsPrec_6989586621679180783Sym2KindInference :: SameKind (Apply (ShowsPrec_6989586621679180783Sym2 a6989586621679180795 a6989586621679180796) arg) (ShowsPrec_6989586621679180783Sym3 a6989586621679180795 a6989586621679180796 arg) => ShowsPrec_6989586621679180783Sym2 a6989586621679180795 a6989586621679180796 a6989586621679180797

Instances

SuppressUnusedWarnings (ShowsPrec_6989586621679180783Sym2 a6989586621679180795 a6989586621679180796 :: TyFun Symbol Symbol -> Type)

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsPrec_6989586621679180783Sym2 a6989586621679180795 a6989586621679180796 :: TyFun Symbol Symbol -> Type) (a6989586621679180797 :: Symbol)

Defined in StreamPatch.Patch.Compare

type Apply (ShowsPrec_6989586621679180783Sym2 a6989586621679180795 a6989586621679180796 :: TyFun Symbol Symbol -> Type) (a6989586621679180797 :: Symbol) = ShowsPrec_6989586621679180783 a6989586621679180795 a6989586621679180796 a6989586621679180797

data ShowsPrec_6989586621679180783Sym1 (a6989586621679180795 :: Natural) :: (~>) Via ((~>) Symbol Symbol) where

Constructors

ShowsPrec_6989586621679180783Sym1KindInference :: SameKind (Apply (ShowsPrec_6989586621679180783Sym1 a6989586621679180795) arg) (ShowsPrec_6989586621679180783Sym2 a6989586621679180795 arg) => ShowsPrec_6989586621679180783Sym1 a6989586621679180795 a6989586621679180796

Instances

SuppressUnusedWarnings (ShowsPrec_6989586621679180783Sym1 a6989586621679180795 :: TyFun Via (Symbol ~> Symbol) -> Type)

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsPrec_6989586621679180783Sym1 a6989586621679180795 :: TyFun Via (Symbol ~> Symbol) -> Type) (a6989586621679180796 :: Via)

Defined in StreamPatch.Patch.Compare

type Apply (ShowsPrec_6989586621679180783Sym1 a6989586621679180795 :: TyFun Via (Symbol ~> Symbol) -> Type) (a6989586621679180796 :: Via) = ShowsPrec_6989586621679180783Sym2 a6989586621679180795 a6989586621679180796

data ShowsPrec_6989586621679180783Sym0 :: (~>) Natural ((~>) Via ((~>) Symbol Symbol)) where

Constructors

ShowsPrec_6989586621679180783Sym0KindInference :: SameKind (Apply ShowsPrec_6989586621679180783Sym0 arg) (ShowsPrec_6989586621679180783Sym1 arg) => ShowsPrec_6989586621679180783Sym0 a6989586621679180795

Instances

SuppressUnusedWarnings ShowsPrec_6989586621679180783Sym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply ShowsPrec_6989586621679180783Sym0 (a6989586621679180795 :: Natural)

Defined in StreamPatch.Patch.Compare

type Apply ShowsPrec_6989586621679180783Sym0 (a6989586621679180795 :: Natural) = ShowsPrec_6989586621679180783Sym1 a6989586621679180795

type family TFHelper_6989586621679180807 (a :: Via) (a :: Via) :: Bool where ...

Equations

TFHelper_6989586621679180807 (ViaEq a_6989586621679180767) (ViaEq b_6989586621679180769) = Apply (Apply (==@#@$) a_6989586621679180767) b_6989586621679180769

TFHelper_6989586621679180807 (ViaEq _) ViaSize = FalseSym0

TFHelper_6989586621679180807 (ViaEq _) (ViaDigest _) = FalseSym0

TFHelper_6989586621679180807 ViaSize (ViaEq _) = FalseSym0

TFHelper_6989586621679180807 ViaSize ViaSize = TrueSym0

TFHelper_6989586621679180807 ViaSize (ViaDigest _) = FalseSym0

TFHelper_6989586621679180807 (ViaDigest _) (ViaEq _) = FalseSym0

TFHelper_6989586621679180807 (ViaDigest _) ViaSize = FalseSym0

TFHelper_6989586621679180807 (ViaDigest a_6989586621679180771) (ViaDigest b_6989586621679180773) = Apply (Apply (==@#@$) a_6989586621679180771) b_6989586621679180773

type family TFHelper_6989586621679180807Sym2 (a6989586621679180812 :: Via) (a6989586621679180813 :: Via) :: Bool where ...

Equations

TFHelper_6989586621679180807Sym2 a6989586621679180812 a6989586621679180813 = TFHelper_6989586621679180807 a6989586621679180812 a6989586621679180813

data TFHelper_6989586621679180807Sym1 (a6989586621679180812 :: Via) :: (~>) Via Bool where

Constructors

TFHelper_6989586621679180807Sym1KindInference :: SameKind (Apply (TFHelper_6989586621679180807Sym1 a6989586621679180812) arg) (TFHelper_6989586621679180807Sym2 a6989586621679180812 arg) => TFHelper_6989586621679180807Sym1 a6989586621679180812 a6989586621679180813

Instances

SuppressUnusedWarnings (TFHelper_6989586621679180807Sym1 a6989586621679180812 :: TyFun Via Bool -> Type)

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply (TFHelper_6989586621679180807Sym1 a6989586621679180812 :: TyFun Via Bool -> Type) (a6989586621679180813 :: Via)

Defined in StreamPatch.Patch.Compare

type Apply (TFHelper_6989586621679180807Sym1 a6989586621679180812 :: TyFun Via Bool -> Type) (a6989586621679180813 :: Via) = TFHelper_6989586621679180807 a6989586621679180812 a6989586621679180813

data TFHelper_6989586621679180807Sym0 :: (~>) Via ((~>) Via Bool) where

Constructors

TFHelper_6989586621679180807Sym0KindInference :: SameKind (Apply TFHelper_6989586621679180807Sym0 arg) (TFHelper_6989586621679180807Sym1 arg) => TFHelper_6989586621679180807Sym0 a6989586621679180812

Instances

SuppressUnusedWarnings TFHelper_6989586621679180807Sym0

Defined in StreamPatch.Patch.Compare

Methods

suppressUnusedWarnings :: ()

type Apply TFHelper_6989586621679180807Sym0 (a6989586621679180812 :: Via)

Defined in StreamPatch.Patch.Compare

type Apply TFHelper_6989586621679180807Sym0 (a6989586621679180812 :: Via) = TFHelper_6989586621679180807Sym1 a6989586621679180812

data SVia :: Via -> Type where

Constructors

SViaEq :: forall (n :: EqualityCheck). (Sing n) -> SVia (ViaEq n :: Via)

SViaSize :: SVia (ViaSize :: Via)

SViaDigest :: forall (n :: HashFunc). (Sing n) -> SVia (ViaDigest n :: Via)

Instances

(SDecide EqualityCheck, SDecide HashFunc) => TestCoercion SVia

Defined in StreamPatch.Patch.Compare

Methods

testCoercion :: forall (a :: k) (b :: k). SVia a -> SVia b -> Maybe (Coercion a b)

(SDecide EqualityCheck, SDecide HashFunc) => TestEquality SVia

Defined in StreamPatch.Patch.Compare

Methods

testEquality :: forall (a :: k) (b :: k). SVia a -> SVia b -> Maybe (a :~: b)

(ShowSing EqualityCheck, ShowSing HashFunc) => Show (SVia z)

Defined in StreamPatch.Patch.Compare

Methods

showsPrec :: Int -> SVia z -> ShowS

show :: SVia z -> String

showList :: [SVia z] -> ShowS

data Meta (v :: Via) a

Constructors

Meta

Fields

• mCompare :: Maybe (CompareRep v a)

Instances

SingI v => Foldable (Meta v)

Defined in StreamPatch.Patch.Compare

Methods

fold :: Monoid m => Meta v m -> m

foldMap :: Monoid m => (a -> m) -> Meta v a -> m

foldMap' :: Monoid m => (a -> m) -> Meta v a -> m

foldr :: (a -> b -> b) -> b -> Meta v a -> b

foldr' :: (a -> b -> b) -> b -> Meta v a -> b

foldl :: (b -> a -> b) -> b -> Meta v a -> b

foldl' :: (b -> a -> b) -> b -> Meta v a -> b

foldr1 :: (a -> a -> a) -> Meta v a -> a

foldl1 :: (a -> a -> a) -> Meta v a -> a

toList :: Meta v a -> [a]

null :: Meta v a -> Bool

length :: Meta v a -> Int

elem :: Eq a => a -> Meta v a -> Bool

maximum :: Ord a => Meta v a -> a

minimum :: Ord a => Meta v a -> a

sum :: Num a => Meta v a -> a

product :: Num a => Meta v a -> a

SingI v => Traversable (Meta v)

Defined in StreamPatch.Patch.Compare

Methods

traverse :: Applicative f => (a -> f b) -> Meta v a -> f (Meta v b)

sequenceA :: Applicative f => Meta v (f a) -> f (Meta v a)

mapM :: Monad m => (a -> m b) -> Meta v a -> m (Meta v b)

sequence :: Monad m => Meta v (m a) -> m (Meta v a)

SingI v => Functor (Meta v)

Defined in StreamPatch.Patch.Compare

Methods

fmap :: (a -> b) -> Meta v a -> Meta v b

(<$) :: a -> Meta v b -> Meta v a

FromJSON (CompareRep v a) => FromJSON (Meta v a)

Defined in StreamPatch.Patch.Compare

Methods

parseJSON :: Value -> Parser (Meta v a)

parseJSONList :: Value -> Parser [Meta v a]

ToJSON (CompareRep v a) => ToJSON (Meta v a)

Defined in StreamPatch.Patch.Compare

Methods

toJSON :: Meta v a -> Value

toEncoding :: Meta v a -> Encoding

toJSONList :: [Meta v a] -> Value

toEncodingList :: [Meta v a] -> Encoding

Generic (Meta v a)

Defined in StreamPatch.Patch.Compare

Associated Types

type Rep (Meta v a) :: Type -> Type

Methods

from :: Meta v a -> Rep (Meta v a) x

to :: Rep (Meta v a) x -> Meta v a

Show (CompareRep v a) => Show (Meta v a)

Defined in StreamPatch.Patch.Compare

Methods

showsPrec :: Int -> Meta v a -> ShowS

show :: Meta v a -> String

showList :: [Meta v a] -> ShowS

Eq (CompareRep v a) => Eq (Meta v a)

Defined in StreamPatch.Patch.Compare

Methods

(==) :: Meta v a -> Meta v a -> Bool

(/=) :: Meta v a -> Meta v a -> Bool

type Rep (Meta v a)

Defined in StreamPatch.Patch.Compare

type Rep (Meta v a) = D1 ('MetaData "Meta" "StreamPatch.Patch.Compare" "bytepatch-0.4.0-inplace" 'False) (C1 ('MetaCons "Meta" 'PrefixI 'True) (S1 ('MetaSel ('Just "mCompare") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (CompareRep v a)))))

type family CompareRep (v :: Via) a where ...

Equations

CompareRep ('ViaEq _) a = a

CompareRep 'ViaSize _ = Natural

CompareRep ('ViaDigest h) _ = Digest h ByteString

newtype Digest (h :: HashFunc) a

The resulting digest from hashing some data using the given hash function.

TODO As of 2022, most good cryptographic hash functions produce digest sizes between 256-512 bits. That's 32-64 bytes. So I want to use a ShortByteString, but the BLAKE3 library uses the memory library, which I can't figure out. I bet it'd be more efficient. So, I'm polymorphising in preparation.

Constructors

Digest

Fields

• getDigest :: a

Instances

(l ~ HashFuncLabel h, KnownSymbol l) => FromJSON (Digest h ByteString)

Defined in StreamPatch.Patch.Compare

Methods

parseJSON :: Value -> Parser (Digest h ByteString)

parseJSONList :: Value -> Parser [Digest h ByteString]

(l ~ HashFuncLabel h, KnownSymbol l) => ToJSON (Digest h ByteString)

Add a digest: prefix to better separate from regular text.

Defined in StreamPatch.Patch.Compare

Methods

toJSON :: Digest h ByteString -> Value

toEncoding :: Digest h ByteString -> Encoding

toJSONList :: [Digest h ByteString] -> Value

toEncodingList :: [Digest h ByteString] -> Encoding

Generic (Digest h a)

Defined in StreamPatch.Patch.Compare

Associated Types

type Rep (Digest h a) :: Type -> Type

Methods

from :: Digest h a -> Rep (Digest h a) x

to :: Rep (Digest h a) x -> Digest h a

Show a => Show (Digest h a)

Defined in StreamPatch.Patch.Compare

Methods

showsPrec :: Int -> Digest h a -> ShowS

show :: Digest h a -> String

showList :: [Digest h a] -> ShowS

Eq a => Eq (Digest h a)

Defined in StreamPatch.Patch.Compare

Methods

(==) :: Digest h a -> Digest h a -> Bool

(/=) :: Digest h a -> Digest h a -> Bool

type Rep (Digest h a)

Defined in StreamPatch.Patch.Compare

type Rep (Digest h a) = D1 ('MetaData "Digest" "StreamPatch.Patch.Compare" "bytepatch-0.4.0-inplace" 'True) (C1 ('MetaCons "Digest" 'PrefixI 'True) (S1 ('MetaSel ('Just "getDigest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

type Digest' h = Digest h ByteString

type family HashFuncLabel (h :: HashFunc) where ...

Equations

HashFuncLabel 'B3 = "b3"

HashFuncLabel 'SHA256 = "sha256"

HashFuncLabel 'MD5 = "md5"

hashFuncLabel :: forall h l. (l ~ HashFuncLabel h, KnownSymbol l) => Text

prettyDigest :: forall h a l. (l ~ HashFuncLabel h, KnownSymbol l) => (a -> [Word8]) -> Digest h a -> Text

Pretty print a hash like hashfunc:123abc.

parseDigest :: forall h l e s m. (l ~ HashFuncLabel h, KnownSymbol l, MonadParsec e s m, Token s ~ Char, Tokens s ~ Text) => m (Digest h ByteString)

class Compare (v :: Via) a where

Methods

compare' :: CompareRep v a -> CompareRep v a -> Maybe String

toCompareRep :: a -> CompareRep v a

Instances

Compare ('ViaDigest 'B3) ByteString

Defined in StreamPatch.Patch.Compare

Methods

compare' :: CompareRep ('ViaDigest 'B3) ByteString -> CompareRep ('ViaDigest 'B3) ByteString -> Maybe String

toCompareRep :: ByteString -> CompareRep ('ViaDigest 'B3) ByteString

(Eq a, Show a) => Compare ('ViaEq 'Exact) a

Defined in StreamPatch.Patch.Compare

Methods

compare' :: CompareRep ('ViaEq 'Exact) a -> CompareRep ('ViaEq 'Exact) a -> Maybe String

toCompareRep :: a -> CompareRep ('ViaEq 'Exact) a

Compare ('ViaEq 'PrefixOf) ByteString

Defined in StreamPatch.Patch.Compare

Methods

compare' :: CompareRep ('ViaEq 'PrefixOf) ByteString -> CompareRep ('ViaEq 'PrefixOf) ByteString -> Maybe String

toCompareRep :: ByteString -> CompareRep ('ViaEq 'PrefixOf) ByteString

compareTo :: forall v a. Compare v a => CompareRep v a -> a -> Maybe String

hashB3 :: ByteString -> ByteString

class SwapCompare a (vFrom :: Via) (vTo :: Via) where

Methods

swapCompare :: CompareRep vFrom a -> Either String (CompareRep vTo a)

Instances

SwapCompare a v v

Defined in StreamPatch.Patch.Compare

Methods

swapCompare :: CompareRep v a -> Either String (CompareRep v a)

SwapCompare ByteString ('ViaEq 'Exact) ('ViaDigest 'B3)

Defined in StreamPatch.Patch.Compare

Methods

swapCompare :: CompareRep ('ViaEq 'Exact) ByteString -> Either String (CompareRep ('ViaDigest 'B3) ByteString)