Sample Actor interface

ICat.fsx

open System
open System.Threading.Tasks
open Microsoft.ServiceFabric.Actors

/// Cat actor
type ICat =
    inherit IActor
    abstract member Jump : destination : string -> Task
    abstract member FavouriteFood : unit -> string Task
    abstract member Colour : unit -> string Task
    // other members elided...

/// Implementation of ICat
type Cat() =
    inherit Actor<CatState>()
    let emptyTask() = Task.FromResult() :> Task // simple helper for returning Task (rather than Task<unit>)

    interface ICat with
        // Side-effect-free actions
        member __.Colour() = Task.FromResult "Black"
        member __.FavouriteFood() = Task.FromResult favouriteFood

        // Side-effect-full actions
        member this.Jump(destination) =
            this.State.HungerLevel <- this.State.HungerLevel + 1
            this.State.CatHappiness <- this.State.CatHappiness + 1
            this.State.Weight <- this.State.Weight - 0.1

            match destination with 
            | "Table" -> this.State.OwnerHappiness <- this.State.OwnerHappiness - 2
            | "Bed" -> this.State.OwnerHappiness <- this.State.OwnerHappiness - 1
            | _ -> ()
            emptyTask()