Documentation

Fields

• toReference :: Type Symbol -> Reference

  Hash type

• toReferenceMentions :: Type Symbol -> Set Reference

  Hash type's mentions

• toReferenceDecl :: Hash -> TypeD Symbol -> Reference

  Hash the type of a single constructor in a decl component. The provided hash argument is the hash of the decl component.

• toReferenceDeclMentions :: Hash -> TypeD Symbol -> Set Reference

  Hash decl's mentions

• hashBranch :: forall (m :: Type -> Type). Monad m => Branch m -> m BranchHash
   
• hashBranchV3 :: forall (m :: Type -> Type). BranchV3 m -> BranchHash
   
• hashCausal :: BranchHash -> Set CausalHash -> CausalHash
   
• hashBranchFormatFull :: HashBranchLocalIds -> LocalBranch -> BranchHash
   
• hashPatchFormatFull :: HashPatchLocalIds -> LocalPatch -> PatchHash
   
• verifyTermFormatHash :: ComponentHash -> HashTermFormat -> Maybe HashValidationError
   
• verifyDeclFormatHash :: ComponentHash -> HashDeclFormat -> Maybe DeclHashingError
   

Fields

• expectedHash :: Hash
   
• actualHash :: Hash