This repository was archived by the owner on Jan 3, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 313
Expand file tree
/
Copy pathAugmentWithHashCompare.fsi
More file actions
executable file
·28 lines (21 loc) · 1.58 KB
/
AugmentWithHashCompare.fsi
File metadata and controls
executable file
·28 lines (21 loc) · 1.58 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
// Copyright (c) Microsoft Corporation. All Rights Reserved. See License.txt in the project root for license information.
/// Generate the hash/compare functions we add to user-defined types by default.
module internal Microsoft.FSharp.Compiler.AugmentWithHashCompare
open Microsoft.FSharp.Compiler
open Microsoft.FSharp.Compiler.Tast
open Microsoft.FSharp.Compiler.TcGlobals
val CheckAugmentationAttribs : bool -> TcGlobals -> Import.ImportMap -> Tycon -> unit
val TyconIsCandidateForAugmentationWithCompare : TcGlobals -> Tycon -> bool
val TyconIsCandidateForAugmentationWithEquals : TcGlobals -> Tycon -> bool
val TyconIsCandidateForAugmentationWithHash : TcGlobals -> Tycon -> bool
val MakeValsForCompareAugmentation : TcGlobals -> TyconRef -> Val * Val
val MakeValsForCompareWithComparerAugmentation : TcGlobals -> TyconRef -> Val
val MakeValsForEqualsAugmentation : TcGlobals -> TyconRef -> Val * Val
val MakeValsForEqualityWithComparerAugmentation : TcGlobals -> TyconRef -> Val * Val * Val
val MakeBindingsForCompareAugmentation : TcGlobals -> Tycon -> Binding list
val MakeBindingsForCompareWithComparerAugmentation : TcGlobals -> Tycon -> Binding list
val MakeBindingsForEqualsAugmentation : TcGlobals -> Tycon -> Binding list
val MakeBindingsForEqualityWithComparerAugmentation : TcGlobals -> Tycon -> Binding list
/// This predicate can be used once type inference is complete, before then it is an approximation
/// that doesn't assert any new constraints
val TypeDefinitelyHasEquality : TcGlobals -> TType -> bool