Documentation

agdaHashToBytes ∷ Int → Integer → ByteString Source #

agdaHashToExpr ∷ Int → Integer → Expr Source #

hashToInteger ∷ Hash a b → Integer Source #

integerToHash ∷ ∀ h a. HashAlgorithm h ⇒ Integer → Maybe (Hash h a) Source #

unionsHSMap ∷ Ord k ⇒ [HSMap k v] → HSMap k v Source #

unionHSMap ∷ Ord k ⇒ HSMap k v → HSMap k v → HSMap k v Source #

mapHSMapKey ∷ (k → l) → HSMap k v → HSMap l v Source #

bimapMHSMap ∷ Applicative m ⇒ (k → m k') → (v → m v') → HSMap k v → m (HSMap k' v') Source #