Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data EqualityCheck
- type family ExactSym0 :: EqualityCheck where ...
- type family PrefixOfSym0 :: EqualityCheck where ...
- type family ShowsPrec_6989586621679159439 (a :: Natural) (a :: EqualityCheck) (a :: Symbol) :: Symbol where ...
- type family ShowsPrec_6989586621679159439Sym3 (a6989586621679159449 :: Natural) (a6989586621679159450 :: EqualityCheck) (a6989586621679159451 :: Symbol) :: Symbol where ...
- data ShowsPrec_6989586621679159439Sym2 (a6989586621679159449 :: Natural) (a6989586621679159450 :: EqualityCheck) :: (~>) Symbol Symbol where
- ShowsPrec_6989586621679159439Sym2KindInference :: SameKind (Apply (ShowsPrec_6989586621679159439Sym2 a6989586621679159449 a6989586621679159450) arg) (ShowsPrec_6989586621679159439Sym3 a6989586621679159449 a6989586621679159450 arg) => ShowsPrec_6989586621679159439Sym2 a6989586621679159449 a6989586621679159450 a6989586621679159451
- data ShowsPrec_6989586621679159439Sym1 (a6989586621679159449 :: Natural) :: (~>) EqualityCheck ((~>) Symbol Symbol) where
- ShowsPrec_6989586621679159439Sym1KindInference :: SameKind (Apply (ShowsPrec_6989586621679159439Sym1 a6989586621679159449) arg) (ShowsPrec_6989586621679159439Sym2 a6989586621679159449 arg) => ShowsPrec_6989586621679159439Sym1 a6989586621679159449 a6989586621679159450
- data ShowsPrec_6989586621679159439Sym0 :: (~>) Natural ((~>) EqualityCheck ((~>) Symbol Symbol)) where
- ShowsPrec_6989586621679159439Sym0KindInference :: SameKind (Apply ShowsPrec_6989586621679159439Sym0 arg) (ShowsPrec_6989586621679159439Sym1 arg) => ShowsPrec_6989586621679159439Sym0 a6989586621679159449
- type family TFHelper_6989586621679159975 (a :: EqualityCheck) (a :: EqualityCheck) :: Bool where ...
- type family TFHelper_6989586621679159975Sym2 (a6989586621679159980 :: EqualityCheck) (a6989586621679159981 :: EqualityCheck) :: Bool where ...
- data TFHelper_6989586621679159975Sym1 (a6989586621679159980 :: EqualityCheck) :: (~>) EqualityCheck Bool where
- TFHelper_6989586621679159975Sym1KindInference :: SameKind (Apply (TFHelper_6989586621679159975Sym1 a6989586621679159980) arg) (TFHelper_6989586621679159975Sym2 a6989586621679159980 arg) => TFHelper_6989586621679159975Sym1 a6989586621679159980 a6989586621679159981
- data TFHelper_6989586621679159975Sym0 :: (~>) EqualityCheck ((~>) EqualityCheck Bool) where
- TFHelper_6989586621679159975Sym0KindInference :: SameKind (Apply TFHelper_6989586621679159975Sym0 arg) (TFHelper_6989586621679159975Sym1 arg) => TFHelper_6989586621679159975Sym0 a6989586621679159980
- data SEqualityCheck :: EqualityCheck -> Type where
- SExact :: SEqualityCheck (Exact :: EqualityCheck)
- SPrefixOf :: SEqualityCheck (PrefixOf :: EqualityCheck)
- data HashFunc
- type family B3Sym0 :: HashFunc where ...
- type family SHA256Sym0 :: HashFunc where ...
- type family MD5Sym0 :: HashFunc where ...
- type family ShowsPrec_6989586621679178563 (a :: Natural) (a :: HashFunc) (a :: Symbol) :: Symbol where ...
- type family ShowsPrec_6989586621679178563Sym3 (a6989586621679178575 :: Natural) (a6989586621679178576 :: HashFunc) (a6989586621679178577 :: Symbol) :: Symbol where ...
- data ShowsPrec_6989586621679178563Sym2 (a6989586621679178575 :: Natural) (a6989586621679178576 :: HashFunc) :: (~>) Symbol Symbol where
- ShowsPrec_6989586621679178563Sym2KindInference :: SameKind (Apply (ShowsPrec_6989586621679178563Sym2 a6989586621679178575 a6989586621679178576) arg) (ShowsPrec_6989586621679178563Sym3 a6989586621679178575 a6989586621679178576 arg) => ShowsPrec_6989586621679178563Sym2 a6989586621679178575 a6989586621679178576 a6989586621679178577
- data ShowsPrec_6989586621679178563Sym1 (a6989586621679178575 :: Natural) :: (~>) HashFunc ((~>) Symbol Symbol) where
- ShowsPrec_6989586621679178563Sym1KindInference :: SameKind (Apply (ShowsPrec_6989586621679178563Sym1 a6989586621679178575) arg) (ShowsPrec_6989586621679178563Sym2 a6989586621679178575 arg) => ShowsPrec_6989586621679178563Sym1 a6989586621679178575 a6989586621679178576
- data ShowsPrec_6989586621679178563Sym0 :: (~>) Natural ((~>) HashFunc ((~>) Symbol Symbol)) where
- ShowsPrec_6989586621679178563Sym0KindInference :: SameKind (Apply ShowsPrec_6989586621679178563Sym0 arg) (ShowsPrec_6989586621679178563Sym1 arg) => ShowsPrec_6989586621679178563Sym0 a6989586621679178575
- type family TFHelper_6989586621679178583 (a :: HashFunc) (a :: HashFunc) :: Bool where ...
- type family TFHelper_6989586621679178583Sym2 (a6989586621679178588 :: HashFunc) (a6989586621679178589 :: HashFunc) :: Bool where ...
- data TFHelper_6989586621679178583Sym1 (a6989586621679178588 :: HashFunc) :: (~>) HashFunc Bool where
- TFHelper_6989586621679178583Sym1KindInference :: SameKind (Apply (TFHelper_6989586621679178583Sym1 a6989586621679178588) arg) (TFHelper_6989586621679178583Sym2 a6989586621679178588 arg) => TFHelper_6989586621679178583Sym1 a6989586621679178588 a6989586621679178589
- data TFHelper_6989586621679178583Sym0 :: (~>) HashFunc ((~>) HashFunc Bool) where
- TFHelper_6989586621679178583Sym0KindInference :: SameKind (Apply TFHelper_6989586621679178583Sym0 arg) (TFHelper_6989586621679178583Sym1 arg) => TFHelper_6989586621679178583Sym0 a6989586621679178588
- data SHashFunc :: HashFunc -> Type where
- data Via
- type family ViaEqSym1 (a6989586621679180776 :: EqualityCheck) :: Via where ...
- data ViaEqSym0 :: (~>) EqualityCheck Via where
- type family ViaSizeSym0 :: Via where ...
- type family ViaDigestSym1 (a6989586621679180779 :: HashFunc) :: Via where ...
- data ViaDigestSym0 :: (~>) HashFunc Via where
- ViaDigestSym0KindInference :: SameKind (Apply ViaDigestSym0 arg) (ViaDigestSym1 arg) => ViaDigestSym0 a6989586621679180779
- type family ShowsPrec_6989586621679180783 (a :: Natural) (a :: Via) (a :: Symbol) :: Symbol where ...
- type family ShowsPrec_6989586621679180783Sym3 (a6989586621679180795 :: Natural) (a6989586621679180796 :: Via) (a6989586621679180797 :: Symbol) :: Symbol where ...
- data ShowsPrec_6989586621679180783Sym2 (a6989586621679180795 :: Natural) (a6989586621679180796 :: Via) :: (~>) Symbol Symbol where
- ShowsPrec_6989586621679180783Sym2KindInference :: SameKind (Apply (ShowsPrec_6989586621679180783Sym2 a6989586621679180795 a6989586621679180796) arg) (ShowsPrec_6989586621679180783Sym3 a6989586621679180795 a6989586621679180796 arg) => ShowsPrec_6989586621679180783Sym2 a6989586621679180795 a6989586621679180796 a6989586621679180797
- data ShowsPrec_6989586621679180783Sym1 (a6989586621679180795 :: Natural) :: (~>) Via ((~>) Symbol Symbol) where
- ShowsPrec_6989586621679180783Sym1KindInference :: SameKind (Apply (ShowsPrec_6989586621679180783Sym1 a6989586621679180795) arg) (ShowsPrec_6989586621679180783Sym2 a6989586621679180795 arg) => ShowsPrec_6989586621679180783Sym1 a6989586621679180795 a6989586621679180796
- data ShowsPrec_6989586621679180783Sym0 :: (~>) Natural ((~>) Via ((~>) Symbol Symbol)) where
- ShowsPrec_6989586621679180783Sym0KindInference :: SameKind (Apply ShowsPrec_6989586621679180783Sym0 arg) (ShowsPrec_6989586621679180783Sym1 arg) => ShowsPrec_6989586621679180783Sym0 a6989586621679180795
- type family TFHelper_6989586621679180807 (a :: Via) (a :: Via) :: Bool where ...
- type family TFHelper_6989586621679180807Sym2 (a6989586621679180812 :: Via) (a6989586621679180813 :: Via) :: Bool where ...
- data TFHelper_6989586621679180807Sym1 (a6989586621679180812 :: Via) :: (~>) Via Bool where
- TFHelper_6989586621679180807Sym1KindInference :: SameKind (Apply (TFHelper_6989586621679180807Sym1 a6989586621679180812) arg) (TFHelper_6989586621679180807Sym2 a6989586621679180812 arg) => TFHelper_6989586621679180807Sym1 a6989586621679180812 a6989586621679180813
- data TFHelper_6989586621679180807Sym0 :: (~>) Via ((~>) Via Bool) where
- TFHelper_6989586621679180807Sym0KindInference :: SameKind (Apply TFHelper_6989586621679180807Sym0 arg) (TFHelper_6989586621679180807Sym1 arg) => TFHelper_6989586621679180807Sym0 a6989586621679180812
- data SVia :: Via -> Type where
- data Meta (v :: Via) a = Meta {
- mCompare :: Maybe (CompareRep v a)
- type family CompareRep (v :: Via) a where ...
- newtype Digest (h :: HashFunc) a = Digest {
- getDigest :: a
- type Digest' h = Digest h ByteString
- type family HashFuncLabel (h :: HashFunc) where ...
- 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
- 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
- compare' :: CompareRep v a -> CompareRep v a -> Maybe String
- toCompareRep :: a -> CompareRep v a
- compareTo :: forall v a. Compare v a => CompareRep v a -> a -> Maybe String
- hashB3 :: ByteString -> ByteString
- class SwapCompare a (vFrom :: Via) (vTo :: Via) where
- swapCompare :: CompareRep vFrom a -> Either String (CompareRep vTo a)
Documentation
data EqualityCheck Source #
Instances
type family PrefixOfSym0 :: EqualityCheck where ... Source #
type family ShowsPrec_6989586621679159439 (a :: Natural) (a :: EqualityCheck) (a :: Symbol) :: Symbol where ... Source #
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 ... Source #
ShowsPrec_6989586621679159439Sym3 a6989586621679159449 a6989586621679159450 a6989586621679159451 = ShowsPrec_6989586621679159439 a6989586621679159449 a6989586621679159450 a6989586621679159451 |
data ShowsPrec_6989586621679159439Sym2 (a6989586621679159449 :: Natural) (a6989586621679159450 :: EqualityCheck) :: (~>) Symbol Symbol where Source #
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) Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply (ShowsPrec_6989586621679159439Sym2 a6989586621679159449 a6989586621679159450 :: TyFun Symbol Symbol -> Type) (a6989586621679159451 :: Symbol) Source # | |
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 Source #
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) Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply (ShowsPrec_6989586621679159439Sym1 a6989586621679159449 :: TyFun EqualityCheck (Symbol ~> Symbol) -> Type) (a6989586621679159450 :: EqualityCheck) Source # | |
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 Source #
ShowsPrec_6989586621679159439Sym0KindInference :: SameKind (Apply ShowsPrec_6989586621679159439Sym0 arg) (ShowsPrec_6989586621679159439Sym1 arg) => ShowsPrec_6989586621679159439Sym0 a6989586621679159449 |
Instances
SuppressUnusedWarnings ShowsPrec_6989586621679159439Sym0 Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply ShowsPrec_6989586621679159439Sym0 (a6989586621679159449 :: Natural) Source # | |
Defined in StreamPatch.Patch.Compare type Apply ShowsPrec_6989586621679159439Sym0 (a6989586621679159449 :: Natural) = ShowsPrec_6989586621679159439Sym1 a6989586621679159449 |
type family TFHelper_6989586621679159975 (a :: EqualityCheck) (a :: EqualityCheck) :: Bool where ... Source #
type family TFHelper_6989586621679159975Sym2 (a6989586621679159980 :: EqualityCheck) (a6989586621679159981 :: EqualityCheck) :: Bool where ... Source #
TFHelper_6989586621679159975Sym2 a6989586621679159980 a6989586621679159981 = TFHelper_6989586621679159975 a6989586621679159980 a6989586621679159981 |
data TFHelper_6989586621679159975Sym1 (a6989586621679159980 :: EqualityCheck) :: (~>) EqualityCheck Bool where Source #
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) Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply (TFHelper_6989586621679159975Sym1 a6989586621679159980 :: TyFun EqualityCheck Bool -> Type) (a6989586621679159981 :: EqualityCheck) Source # | |
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 Source #
TFHelper_6989586621679159975Sym0KindInference :: SameKind (Apply TFHelper_6989586621679159975Sym0 arg) (TFHelper_6989586621679159975Sym1 arg) => TFHelper_6989586621679159975Sym0 a6989586621679159980 |
Instances
SuppressUnusedWarnings TFHelper_6989586621679159975Sym0 Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply TFHelper_6989586621679159975Sym0 (a6989586621679159980 :: EqualityCheck) Source # | |
Defined in StreamPatch.Patch.Compare type Apply TFHelper_6989586621679159975Sym0 (a6989586621679159980 :: EqualityCheck) = TFHelper_6989586621679159975Sym1 a6989586621679159980 |
data SEqualityCheck :: EqualityCheck -> Type where Source #
SExact :: SEqualityCheck (Exact :: EqualityCheck) | |
SPrefixOf :: SEqualityCheck (PrefixOf :: EqualityCheck) |
Instances
TestCoercion SEqualityCheck Source # | |
Defined in StreamPatch.Patch.Compare testCoercion :: forall (a :: k) (b :: k). SEqualityCheck a -> SEqualityCheck b -> Maybe (Coercion a b) # | |
TestEquality SEqualityCheck Source # | |
Defined in StreamPatch.Patch.Compare testEquality :: forall (a :: k) (b :: k). SEqualityCheck a -> SEqualityCheck b -> Maybe (a :~: b) # | |
Show (SEqualityCheck z) Source # | |
Defined in StreamPatch.Patch.Compare showsPrec :: Int -> SEqualityCheck z -> ShowS # show :: SEqualityCheck z -> String # showList :: [SEqualityCheck z] -> ShowS # |
Instances
type family SHA256Sym0 :: HashFunc where ... Source #
type family ShowsPrec_6989586621679178563 (a :: Natural) (a :: HashFunc) (a :: Symbol) :: Symbol where ... Source #
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 ... Source #
ShowsPrec_6989586621679178563Sym3 a6989586621679178575 a6989586621679178576 a6989586621679178577 = ShowsPrec_6989586621679178563 a6989586621679178575 a6989586621679178576 a6989586621679178577 |
data ShowsPrec_6989586621679178563Sym2 (a6989586621679178575 :: Natural) (a6989586621679178576 :: HashFunc) :: (~>) Symbol Symbol where Source #
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) Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply (ShowsPrec_6989586621679178563Sym2 a6989586621679178575 a6989586621679178576 :: TyFun Symbol Symbol -> Type) (a6989586621679178577 :: Symbol) Source # | |
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 Source #
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) Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply (ShowsPrec_6989586621679178563Sym1 a6989586621679178575 :: TyFun HashFunc (Symbol ~> Symbol) -> Type) (a6989586621679178576 :: HashFunc) Source # | |
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 Source #
ShowsPrec_6989586621679178563Sym0KindInference :: SameKind (Apply ShowsPrec_6989586621679178563Sym0 arg) (ShowsPrec_6989586621679178563Sym1 arg) => ShowsPrec_6989586621679178563Sym0 a6989586621679178575 |
Instances
SuppressUnusedWarnings ShowsPrec_6989586621679178563Sym0 Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply ShowsPrec_6989586621679178563Sym0 (a6989586621679178575 :: Natural) Source # | |
Defined in StreamPatch.Patch.Compare type Apply ShowsPrec_6989586621679178563Sym0 (a6989586621679178575 :: Natural) = ShowsPrec_6989586621679178563Sym1 a6989586621679178575 |
type family TFHelper_6989586621679178583 (a :: HashFunc) (a :: HashFunc) :: Bool where ... Source #
type family TFHelper_6989586621679178583Sym2 (a6989586621679178588 :: HashFunc) (a6989586621679178589 :: HashFunc) :: Bool where ... Source #
TFHelper_6989586621679178583Sym2 a6989586621679178588 a6989586621679178589 = TFHelper_6989586621679178583 a6989586621679178588 a6989586621679178589 |
data TFHelper_6989586621679178583Sym1 (a6989586621679178588 :: HashFunc) :: (~>) HashFunc Bool where Source #
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) Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply (TFHelper_6989586621679178583Sym1 a6989586621679178588 :: TyFun HashFunc Bool -> Type) (a6989586621679178589 :: HashFunc) Source # | |
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 Source #
TFHelper_6989586621679178583Sym0KindInference :: SameKind (Apply TFHelper_6989586621679178583Sym0 arg) (TFHelper_6989586621679178583Sym1 arg) => TFHelper_6989586621679178583Sym0 a6989586621679178588 |
Instances
SuppressUnusedWarnings TFHelper_6989586621679178583Sym0 Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply TFHelper_6989586621679178583Sym0 (a6989586621679178588 :: HashFunc) Source # | |
Defined in StreamPatch.Patch.Compare type Apply TFHelper_6989586621679178583Sym0 (a6989586621679178588 :: HashFunc) = TFHelper_6989586621679178583Sym1 a6989586621679178588 |
data SHashFunc :: HashFunc -> Type where Source #
SB3 :: SHashFunc (B3 :: HashFunc) | |
SSHA256 :: SHashFunc (SHA256 :: HashFunc) | |
SMD5 :: SHashFunc (MD5 :: HashFunc) |
Instances
TestCoercion SHashFunc Source # | |
Defined in StreamPatch.Patch.Compare | |
TestEquality SHashFunc Source # | |
Defined in StreamPatch.Patch.Compare | |
Show (SHashFunc z) Source # | |
Instances
type family ViaEqSym1 (a6989586621679180776 :: EqualityCheck) :: Via where ... Source #
data ViaEqSym0 :: (~>) EqualityCheck Via where Source #
ViaEqSym0KindInference :: SameKind (Apply ViaEqSym0 arg) (ViaEqSym1 arg) => ViaEqSym0 a6989586621679180776 |
Instances
SingI ViaEqSym0 Source # | |
Defined in StreamPatch.Patch.Compare | |
SuppressUnusedWarnings ViaEqSym0 Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply ViaEqSym0 (a6989586621679180776 :: EqualityCheck) Source # | |
Defined in StreamPatch.Patch.Compare |
type family ViaSizeSym0 :: Via where ... Source #
type family ViaDigestSym1 (a6989586621679180779 :: HashFunc) :: Via where ... Source #
ViaDigestSym1 a6989586621679180779 = ViaDigest a6989586621679180779 |
data ViaDigestSym0 :: (~>) HashFunc Via where Source #
ViaDigestSym0KindInference :: SameKind (Apply ViaDigestSym0 arg) (ViaDigestSym1 arg) => ViaDigestSym0 a6989586621679180779 |
Instances
SingI ViaDigestSym0 Source # | |
Defined in StreamPatch.Patch.Compare sing :: Sing ViaDigestSym0 # | |
SuppressUnusedWarnings ViaDigestSym0 Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply ViaDigestSym0 (a6989586621679180779 :: HashFunc) Source # | |
Defined in StreamPatch.Patch.Compare |
type family ShowsPrec_6989586621679180783 (a :: Natural) (a :: Via) (a :: Symbol) :: Symbol where ... Source #
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 ... Source #
ShowsPrec_6989586621679180783Sym3 a6989586621679180795 a6989586621679180796 a6989586621679180797 = ShowsPrec_6989586621679180783 a6989586621679180795 a6989586621679180796 a6989586621679180797 |
data ShowsPrec_6989586621679180783Sym2 (a6989586621679180795 :: Natural) (a6989586621679180796 :: Via) :: (~>) Symbol Symbol where Source #
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) Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply (ShowsPrec_6989586621679180783Sym2 a6989586621679180795 a6989586621679180796 :: TyFun Symbol Symbol -> Type) (a6989586621679180797 :: Symbol) Source # | |
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 Source #
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) Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply (ShowsPrec_6989586621679180783Sym1 a6989586621679180795 :: TyFun Via (Symbol ~> Symbol) -> Type) (a6989586621679180796 :: Via) Source # | |
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 Source #
ShowsPrec_6989586621679180783Sym0KindInference :: SameKind (Apply ShowsPrec_6989586621679180783Sym0 arg) (ShowsPrec_6989586621679180783Sym1 arg) => ShowsPrec_6989586621679180783Sym0 a6989586621679180795 |
Instances
SuppressUnusedWarnings ShowsPrec_6989586621679180783Sym0 Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply ShowsPrec_6989586621679180783Sym0 (a6989586621679180795 :: Natural) Source # | |
Defined in StreamPatch.Patch.Compare type Apply ShowsPrec_6989586621679180783Sym0 (a6989586621679180795 :: Natural) = ShowsPrec_6989586621679180783Sym1 a6989586621679180795 |
type family TFHelper_6989586621679180807 (a :: Via) (a :: Via) :: Bool where ... Source #
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 ... Source #
TFHelper_6989586621679180807Sym2 a6989586621679180812 a6989586621679180813 = TFHelper_6989586621679180807 a6989586621679180812 a6989586621679180813 |
data TFHelper_6989586621679180807Sym1 (a6989586621679180812 :: Via) :: (~>) Via Bool where Source #
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) Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply (TFHelper_6989586621679180807Sym1 a6989586621679180812 :: TyFun Via Bool -> Type) (a6989586621679180813 :: Via) Source # | |
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 Source #
TFHelper_6989586621679180807Sym0KindInference :: SameKind (Apply TFHelper_6989586621679180807Sym0 arg) (TFHelper_6989586621679180807Sym1 arg) => TFHelper_6989586621679180807Sym0 a6989586621679180812 |
Instances
SuppressUnusedWarnings TFHelper_6989586621679180807Sym0 Source # | |
Defined in StreamPatch.Patch.Compare suppressUnusedWarnings :: () # | |
type Apply TFHelper_6989586621679180807Sym0 (a6989586621679180812 :: Via) Source # | |
Defined in StreamPatch.Patch.Compare type Apply TFHelper_6989586621679180807Sym0 (a6989586621679180812 :: Via) = TFHelper_6989586621679180807Sym1 a6989586621679180812 |
data SVia :: Via -> Type where Source #
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 Source # | |
Defined in StreamPatch.Patch.Compare | |
(SDecide EqualityCheck, SDecide HashFunc) => TestEquality SVia Source # | |
Defined in StreamPatch.Patch.Compare | |
(ShowSing EqualityCheck, ShowSing HashFunc) => Show (SVia z) Source # | |
data Meta (v :: Via) a Source #
Meta | |
|
Instances
SingI v => Foldable (Meta v) Source # | |
Defined in StreamPatch.Patch.Compare 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 # elem :: Eq a => a -> Meta v a -> Bool # maximum :: Ord a => Meta v a -> a # minimum :: Ord a => Meta v a -> a # | |
SingI v => Traversable (Meta v) Source # | |
SingI v => Functor (Meta v) Source # | |
FromJSON (CompareRep v a) => FromJSON (Meta v a) Source # | |
ToJSON (CompareRep v a) => ToJSON (Meta v a) Source # | |
Defined in StreamPatch.Patch.Compare | |
Generic (Meta v a) Source # | |
Show (CompareRep v a) => Show (Meta v a) Source # | |
Eq (CompareRep v a) => Eq (Meta v a) Source # | |
type Rep (Meta v a) Source # | |
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 ... Source #
CompareRep ('ViaEq _) a = a | |
CompareRep 'ViaSize _ = Natural | |
CompareRep ('ViaDigest h) _ = Digest h ByteString |
newtype Digest (h :: HashFunc) a Source #
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.
Instances
(l ~ HashFuncLabel h, KnownSymbol l) => FromJSON (Digest h ByteString) Source # | |
Defined in StreamPatch.Patch.Compare parseJSON :: Value -> Parser (Digest h ByteString) # parseJSONList :: Value -> Parser [Digest h ByteString] # | |
(l ~ HashFuncLabel h, KnownSymbol l) => ToJSON (Digest h ByteString) Source # | Add a |
Defined in StreamPatch.Patch.Compare toJSON :: Digest h ByteString -> Value # toEncoding :: Digest h ByteString -> Encoding # toJSONList :: [Digest h ByteString] -> Value # toEncodingList :: [Digest h ByteString] -> Encoding # | |
Generic (Digest h a) Source # | |
Show a => Show (Digest h a) Source # | |
Eq a => Eq (Digest h a) Source # | |
type Rep (Digest h a) Source # | |
Defined in StreamPatch.Patch.Compare |
type Digest' h = Digest h ByteString Source #
type family HashFuncLabel (h :: HashFunc) where ... Source #
HashFuncLabel 'B3 = "b3" | |
HashFuncLabel 'SHA256 = "sha256" | |
HashFuncLabel 'MD5 = "md5" |
hashFuncLabel :: forall h l. (l ~ HashFuncLabel h, KnownSymbol l) => Text Source #
prettyDigest :: forall h a l. (l ~ HashFuncLabel h, KnownSymbol l) => (a -> [Word8]) -> Digest h a -> Text Source #
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) Source #
class Compare (v :: Via) a where Source #
compare' :: CompareRep v a -> CompareRep v a -> Maybe String Source #
toCompareRep :: a -> CompareRep v a Source #
Instances
Compare ('ViaDigest 'B3) ByteString Source # | |
Defined in StreamPatch.Patch.Compare compare' :: CompareRep ('ViaDigest 'B3) ByteString -> CompareRep ('ViaDigest 'B3) ByteString -> Maybe String Source # toCompareRep :: ByteString -> CompareRep ('ViaDigest 'B3) ByteString Source # | |
(Eq a, Show a) => Compare ('ViaEq 'Exact) a Source # | |
Defined in StreamPatch.Patch.Compare compare' :: CompareRep ('ViaEq 'Exact) a -> CompareRep ('ViaEq 'Exact) a -> Maybe String Source # toCompareRep :: a -> CompareRep ('ViaEq 'Exact) a Source # | |
Compare ('ViaEq 'PrefixOf) ByteString Source # | |
Defined in StreamPatch.Patch.Compare compare' :: CompareRep ('ViaEq 'PrefixOf) ByteString -> CompareRep ('ViaEq 'PrefixOf) ByteString -> Maybe String Source # toCompareRep :: ByteString -> CompareRep ('ViaEq 'PrefixOf) ByteString Source # |
hashB3 :: ByteString -> ByteString Source #
class SwapCompare a (vFrom :: Via) (vTo :: Via) where Source #
swapCompare :: CompareRep vFrom a -> Either String (CompareRep vTo a) Source #
Instances
SwapCompare a v v Source # | |
Defined in StreamPatch.Patch.Compare swapCompare :: CompareRep v a -> Either String (CompareRep v a) Source # | |
SwapCompare ByteString ('ViaEq 'Exact) ('ViaDigest 'B3) Source # | |
Defined in StreamPatch.Patch.Compare swapCompare :: CompareRep ('ViaEq 'Exact) ByteString -> Either String (CompareRep ('ViaDigest 'B3) ByteString) Source # |