Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
withMLSBFromPSB ∷ (MonadST m, MonadThrow m, KnownNat n) ⇒ PinnedSizedBytes n → (MLockedSizedBytes n → m a) → m a Source #
withMLockedSeedFromPSB ∷ (MonadST m, MonadThrow m, KnownNat n) ⇒ PinnedSizedBytes n → (MLockedSeed n → m a) → m a Source #
Orphan instances
KnownNat n ⇒ Arbitrary (PinnedSizedBytes n) Source # | |
arbitrary ∷ Gen (PinnedSizedBytes n) Source # shrink ∷ PinnedSizedBytes n → [PinnedSizedBytes n] Source # |