forked from dotnet/fsharp
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathAugmentWithHashCompare.fsi
More file actions
40 lines (23 loc) · 1.62 KB
/
Copy pathAugmentWithHashCompare.fsi
File metadata and controls
40 lines (23 loc) · 1.62 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
28
29
30
31
32
33
34
35
36
37
38
39
40
// 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 FSharp.Compiler.AugmentTypeDefinitions
open FSharp.Compiler
open FSharp.Compiler.TypedTree
open 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
val MakeValsForUnionAugmentation: TcGlobals -> TyconRef -> Val list
val MakeBindingsForUnionAugmentation: TcGlobals -> Tycon -> ValRef list -> Binding list