3 people like it.

Nullable Refs without using AllowNullLiteral

Nullable Refs without using AllowNullLiteral

 1: 
 2: 
 3: 
 4: 
 5: 
 6: 
 7: 
 8: 
 9: 
10: 
11: 

let (@?) (a:'a) (b:'a Lazy) : 'a = 
  if System.Object.ReferenceEquals(a :> obj, null) 
    then b.Value
    else a
    
type Foo() = 
  class 
  end

let x = Unchecked.defaultof<Foo>
let z = x @? lazy Foo()
val a : 'a
val b : Lazy<'a>
Multiple items
active recognizer Lazy: Lazy<'T> -> 'T

Full name: Microsoft.FSharp.Core.ExtraTopLevelOperators.( |Lazy| )

--------------------
type Lazy<'T> = System.Lazy<'T>

Full name: Microsoft.FSharp.Control.Lazy<_>
namespace System
Multiple items
type Object =
  new : unit -> obj
  member Equals : obj:obj -> bool
  member GetHashCode : unit -> int
  member GetType : unit -> Type
  member ToString : unit -> string
  static member Equals : objA:obj * objB:obj -> bool
  static member ReferenceEquals : objA:obj * objB:obj -> bool

Full name: System.Object

--------------------
System.Object() : unit
System.Object.ReferenceEquals(objA: obj, objB: obj) : bool
type obj = System.Object

Full name: Microsoft.FSharp.Core.obj
property System.Lazy.Value: 'a
Multiple items
type Foo =
  new : unit -> Foo

Full name: Script.Foo

--------------------
new : unit -> Foo
val x : Foo

Full name: Script.x
module Unchecked

from Microsoft.FSharp.Core.Operators
val defaultof<'T> : 'T

Full name: Microsoft.FSharp.Core.Operators.Unchecked.defaultof
val z : Foo

Full name: Script.z

More information

Link:http://fssnip.net/3Y
Posted:13 years ago
Author:fholm
Tags: nullable

This web site is created using F# and Suave web server. It is hosted on Azure and the source code is on GitHub. Contributions are welcome!

The first version of fssnip.net has been created by @tomaspetricek back in 2010. This web site is a new, open-source and contribution-friendly version.