Last active
August 29, 2015 13:56
-
-
Save enricosada/8835416 to your computer and use it in GitHub Desktop.
FSharp.Data test
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| class JsonProvider | |
| static member AsyncGetSamples: () -> JsonProvider+Root[] async | |
| let f = new Func<_,_>(fun (t:TextReader) -> JsonDocument.CreateList(t, "")) | |
| TextRuntime.AsyncMap((IO.asyncReadTextAtRuntimeWithDesignTimeRules @"<SOURCE_DIRECTORY>\..\FSharp.Data.Tests\Data" "" "TwitterStream.json"), f) | |
| static member AsyncLoad: uri:string -> JsonProvider+Root async | |
| let f = new Func<_,_>(fun (t:TextReader) -> JsonDocument.Create(t, "")) | |
| TextRuntime.AsyncMap((IO.asyncReadTextAtRuntime false @"<SOURCE_DIRECTORY>\..\FSharp.Data.Tests\Data" "" uri), f) | |
| static member GetSamples: () -> JsonProvider+Root[] | |
| JsonDocument.CreateList(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntimeWithDesignTimeRules @"<SOURCE_DIRECTORY>\..\FSharp.Data.Tests\Data" "" "TwitterStream.json")), "") | |
| static member Load: stream:System.IO.Stream -> JsonProvider+Root | |
| JsonDocument.Create(((new StreamReader(stream)) :> TextReader), "") | |
| static member Load: reader:System.IO.TextReader -> JsonProvider+Root | |
| JsonDocument.Create(reader, "") | |
| static member Load: uri:string -> JsonProvider+Root | |
| JsonDocument.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false @"<SOURCE_DIRECTORY>\..\FSharp.Data.Tests\Data" "" uri)), "") | |
| static member Parse: text:string -> JsonProvider+Root | |
| JsonDocument.Create(((new StringReader(text)) :> TextReader), "") | |
| class JsonProvider+Root : FDR.IJsonDocument | |
| member Contributors: FDR.JsonDocument option with get | |
| JsonRuntime.TryGetPropertyPacked(this, "contributors") | |
| member Coordinates: JsonProvider+Coordinates option with get | |
| JsonRuntime.TryGetPropertyPacked(this, "coordinates") | |
| member CreatedAt: string option with get | |
| JsonRuntime.ConvertString("", JsonRuntime.TryGetPropertyUnpacked(this, "created_at")) | |
| member Delete: JsonProvider+Delete option with get | |
| JsonRuntime.TryGetPropertyPacked(this, "delete") | |
| member Entities: JsonProvider+Entities option with get | |
| JsonRuntime.TryGetPropertyPacked(this, "entities") | |
| member Favorited: bool option with get | |
| JsonRuntime.ConvertBoolean("", JsonRuntime.TryGetPropertyUnpacked(this, "favorited")) | |
| member Geo: JsonProvider+Coordinates option with get | |
| JsonRuntime.TryGetPropertyPacked(this, "geo") | |
| member Id: int64 option with get | |
| JsonRuntime.ConvertInteger64("", JsonRuntime.TryGetPropertyUnpacked(this, "id")) | |
| member IdStr: int64 option with get | |
| JsonRuntime.ConvertInteger64("", JsonRuntime.TryGetPropertyUnpacked(this, "id_str")) | |
| member InReplyToScreenName: string option with get | |
| JsonRuntime.ConvertString("", JsonRuntime.TryGetPropertyUnpacked(this, "in_reply_to_screen_name")) | |
| member InReplyToStatusId: JsonProvider+Int64Choice option with get | |
| JsonRuntime.TryGetPropertyPacked(this, "in_reply_to_status_id") | |
| member InReplyToStatusIdStr: JsonProvider+Int64Choice option with get | |
| JsonRuntime.TryGetPropertyPacked(this, "in_reply_to_status_id_str") | |
| member InReplyToUserId: JsonProvider+IntChoice option with get | |
| JsonRuntime.TryGetPropertyPacked(this, "in_reply_to_user_id") | |
| member InReplyToUserIdStr: JsonProvider+IntChoice option with get | |
| JsonRuntime.TryGetPropertyPacked(this, "in_reply_to_user_id_str") | |
| member Place: JsonProvider+Place option with get | |
| JsonRuntime.TryGetPropertyPacked(this, "place") | |
| member PossiblySensitive: bool option with get | |
| JsonRuntime.ConvertBoolean("", JsonRuntime.TryGetPropertyUnpacked(this, "possibly_sensitive")) | |
| member PossiblySensitiveEditable: bool option with get | |
| JsonRuntime.ConvertBoolean("", JsonRuntime.TryGetPropertyUnpacked(this, "possibly_sensitive_editable")) | |
| member RetweetCount: int option with get | |
| JsonRuntime.ConvertInteger("", JsonRuntime.TryGetPropertyUnpacked(this, "retweet_count")) | |
| member Retweeted: bool option with get | |
| JsonRuntime.ConvertBoolean("", JsonRuntime.TryGetPropertyUnpacked(this, "retweeted")) | |
| member RetweetedStatus: JsonProvider+RetweetedStatus option with get | |
| JsonRuntime.TryGetPropertyPacked(this, "retweeted_status") | |
| member Source: string option with get | |
| JsonRuntime.ConvertString("", JsonRuntime.TryGetPropertyUnpacked(this, "source")) | |
| member Text: string option with get | |
| JsonRuntime.ConvertString("", JsonRuntime.TryGetPropertyUnpacked(this, "text")) | |
| member Truncated: bool option with get | |
| JsonRuntime.ConvertBoolean("", JsonRuntime.TryGetPropertyUnpacked(this, "truncated")) | |
| member User: JsonProvider+User option with get | |
| JsonRuntime.TryGetPropertyPacked(this, "user") | |
| class JsonProvider+Coordinates : FDR.IJsonDocument | |
| member Coordinates: decimal[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "coordinates"), new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertDecimal("", Some t.JsonValue), Some t.JsonValue))) | |
| member Type: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "type") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| class JsonProvider+Delete : FDR.IJsonDocument | |
| member Status: JsonProvider+Status with get | |
| JsonRuntime.GetPropertyPacked(this, "status") | |
| class JsonProvider+Entities : FDR.IJsonDocument | |
| member Hashtags: JsonProvider+Hashtag[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "hashtags"), new Func<_,_>(id))) | |
| member Media: JsonProvider+Media[] option with get | |
| JsonRuntime.ConvertOptionalProperty(this, "media", new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.ConvertArray(t, new Func<_,_>(id))))) | |
| member Urls: JsonProvider+Url[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "urls"), new Func<_,_>(id))) | |
| member UserMentions: JsonProvider+UserMention[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "user_mentions"), new Func<_,_>(id))) | |
| class JsonProvider+Int64Choice : FDR.IJsonDocument | |
| member Number: int64 option with get | |
| JsonRuntime.TryGetValueByTypeTag(this, "", "Number", new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertInteger64("", Some t.JsonValue), Some t.JsonValue))) | |
| class JsonProvider+IntChoice : FDR.IJsonDocument | |
| member Number: int option with get | |
| JsonRuntime.TryGetValueByTypeTag(this, "", "Number", new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertInteger("", Some t.JsonValue), Some t.JsonValue))) | |
| class JsonProvider+Place : FDR.IJsonDocument | |
| member Attributes: JsonProvider+Attributes with get | |
| JsonRuntime.GetPropertyPacked(this, "attributes") | |
| member BoundingBox: JsonProvider+BoundingBox with get | |
| JsonRuntime.GetPropertyPacked(this, "bounding_box") | |
| member Country: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "country") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member CountryCode: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "country_code") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member FullName: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "full_name") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Id: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Name: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "name") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member PlaceType: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "place_type") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Url: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "url") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| class JsonProvider+RetweetedStatus : FDR.IJsonDocument | |
| member Contributors: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "contributors") | |
| member Coordinates: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "coordinates") | |
| member CreatedAt: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "created_at") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Entities: JsonProvider+Entities2 with get | |
| JsonRuntime.GetPropertyPacked(this, "entities") | |
| member Favorited: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "favorited") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member Geo: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "geo") | |
| member Id: int64 with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger64("", value.JsonOpt), value.JsonOpt) | |
| member IdStr: int64 with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id_str") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger64("", value.JsonOpt), value.JsonOpt) | |
| member InReplyToScreenName: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "in_reply_to_screen_name") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member InReplyToStatusId: JsonProvider+Int64Choice with get | |
| JsonRuntime.GetPropertyPacked(this, "in_reply_to_status_id") | |
| member InReplyToStatusIdStr: JsonProvider+Int64Choice with get | |
| JsonRuntime.GetPropertyPacked(this, "in_reply_to_status_id_str") | |
| member InReplyToUserId: JsonProvider+IntChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "in_reply_to_user_id") | |
| member InReplyToUserIdStr: JsonProvider+IntChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "in_reply_to_user_id_str") | |
| member Place: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "place") | |
| member PossiblySensitive: bool option with get | |
| JsonRuntime.ConvertBoolean("", JsonRuntime.TryGetPropertyUnpacked(this, "possibly_sensitive")) | |
| member PossiblySensitiveEditable: bool option with get | |
| JsonRuntime.ConvertBoolean("", JsonRuntime.TryGetPropertyUnpacked(this, "possibly_sensitive_editable")) | |
| member RetweetCount: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "retweet_count") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member Retweeted: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "retweeted") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member Source: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "source") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Text: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "text") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Truncated: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "truncated") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member User: JsonProvider+User2 with get | |
| JsonRuntime.GetPropertyPacked(this, "user") | |
| class JsonProvider+User : FDR.IJsonDocument | |
| member ContributorsEnabled: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "contributors_enabled") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member CreatedAt: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "created_at") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member DefaultProfile: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "default_profile") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member DefaultProfileImage: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "default_profile_image") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member Description: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "description") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member FavouritesCount: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "favourites_count") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member FollowRequestSent: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "follow_request_sent") | |
| member FollowersCount: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "followers_count") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member Following: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "following") | |
| member FriendsCount: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "friends_count") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member GeoEnabled: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "geo_enabled") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member Id: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member IdStr: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id_str") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member IsTranslator: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "is_translator") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member Lang: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "lang") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ListedCount: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "listed_count") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member Location: JsonProvider+IntOrString with get | |
| JsonRuntime.GetPropertyPacked(this, "location") | |
| member Name: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "name") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Notifications: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "notifications") | |
| member ProfileBackgroundColor: JsonProvider+IntOrString with get | |
| JsonRuntime.GetPropertyPacked(this, "profile_background_color") | |
| member ProfileBackgroundImageUrl: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "profile_background_image_url") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ProfileBackgroundImageUrlHttps: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "profile_background_image_url_https") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ProfileBackgroundTile: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "profile_background_tile") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member ProfileBannerUrl: string option with get | |
| JsonRuntime.ConvertString("", JsonRuntime.TryGetPropertyUnpacked(this, "profile_banner_url")) | |
| member ProfileImageUrl: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "profile_image_url") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ProfileImageUrlHttps: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "profile_image_url_https") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ProfileLinkColor: JsonProvider+IntOrString with get | |
| JsonRuntime.GetPropertyPacked(this, "profile_link_color") | |
| member ProfileSidebarBorderColor: JsonProvider+IntOrString with get | |
| JsonRuntime.GetPropertyPacked(this, "profile_sidebar_border_color") | |
| member ProfileSidebarFillColor: JsonProvider+IntOrString with get | |
| JsonRuntime.GetPropertyPacked(this, "profile_sidebar_fill_color") | |
| member ProfileTextColor: JsonProvider+FloatOrString with get | |
| JsonRuntime.GetPropertyPacked(this, "profile_text_color") | |
| member ProfileUseBackgroundImage: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "profile_use_background_image") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member Protected: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "protected") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member ScreenName: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "screen_name") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member StatusesCount: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "statuses_count") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member TimeZone: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "time_zone") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Url: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "url") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member UtcOffset: JsonProvider+IntChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "utc_offset") | |
| member Verified: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "verified") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| class JsonProvider+Attributes : FDR.IJsonDocument | |
| class JsonProvider+BoundingBox : FDR.IJsonDocument | |
| member Coordinates: decimal[][][] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "coordinates"), new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.ConvertArray(t, new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.ConvertArray(t, new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertDecimal("", Some t.JsonValue), Some t.JsonValue))))))) | |
| member Type: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "type") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| class JsonProvider+Entities2 : FDR.IJsonDocument | |
| member Hashtags: JsonProvider+Hashtag[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "hashtags"), new Func<_,_>(id))) | |
| member Media: JsonProvider+Media[] option with get | |
| JsonRuntime.ConvertOptionalProperty(this, "media", new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.ConvertArray(t, new Func<_,_>(id))))) | |
| member Urls: JsonProvider+Url[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "urls"), new Func<_,_>(id))) | |
| member UserMentions: JsonProvider+UserMention2[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "user_mentions"), new Func<_,_>(id))) | |
| class JsonProvider+FloatOrString : FDR.IJsonDocument | |
| member Number: float option with get | |
| JsonRuntime.TryGetValueByTypeTag(this, "", "Number", new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertFloat("", "", Some t.JsonValue), Some t.JsonValue))) | |
| member String: string option with get | |
| JsonRuntime.TryGetValueByTypeTag(this, "", "String", new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertString("", Some t.JsonValue), Some t.JsonValue))) | |
| class JsonProvider+Hashtag : FDR.IJsonDocument | |
| member Indices: int[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "indices"), new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertInteger("", Some t.JsonValue), Some t.JsonValue))) | |
| member Text: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "text") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| class JsonProvider+IntOrString : FDR.IJsonDocument | |
| member Number: int option with get | |
| JsonRuntime.TryGetValueByTypeTag(this, "", "Number", new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertInteger("", Some t.JsonValue), Some t.JsonValue))) | |
| member String: string option with get | |
| JsonRuntime.TryGetValueByTypeTag(this, "", "String", new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertString("", Some t.JsonValue), Some t.JsonValue))) | |
| class JsonProvider+Media : FDR.IJsonDocument | |
| member DisplayUrl: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "display_url") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ExpandedUrl: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "expanded_url") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Id: int64 with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger64("", value.JsonOpt), value.JsonOpt) | |
| member IdStr: int64 with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id_str") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger64("", value.JsonOpt), value.JsonOpt) | |
| member Indices: int[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "indices"), new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertInteger("", Some t.JsonValue), Some t.JsonValue))) | |
| member MediaUrl: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "media_url") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member MediaUrlHttps: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "media_url_https") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Sizes: JsonProvider+Sizes with get | |
| JsonRuntime.GetPropertyPacked(this, "sizes") | |
| member Type: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "type") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Url: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "url") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| class JsonProvider+Status : FDR.IJsonDocument | |
| member Id: int64 with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger64("", value.JsonOpt), value.JsonOpt) | |
| member IdStr: int64 with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id_str") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger64("", value.JsonOpt), value.JsonOpt) | |
| member UserId: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "user_id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member UserIdStr: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "user_id_str") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| class JsonProvider+Url : FDR.IJsonDocument | |
| member DisplayUrl: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "display_url") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ExpandedUrl: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "expanded_url") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Indices: int[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "indices"), new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertInteger("", Some t.JsonValue), Some t.JsonValue))) | |
| member Url: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "url") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| class JsonProvider+User2 : FDR.IJsonDocument | |
| member ContributorsEnabled: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "contributors_enabled") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member CreatedAt: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "created_at") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member DefaultProfile: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "default_profile") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member DefaultProfileImage: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "default_profile_image") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member Description: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "description") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member FavouritesCount: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "favourites_count") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member FollowRequestSent: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "follow_request_sent") | |
| member FollowersCount: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "followers_count") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member Following: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "following") | |
| member FriendsCount: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "friends_count") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member GeoEnabled: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "geo_enabled") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member Id: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member IdStr: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id_str") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member IsTranslator: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "is_translator") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member Lang: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "lang") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ListedCount: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "listed_count") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member Location: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "location") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Name: JsonProvider+IntOrString with get | |
| JsonRuntime.GetPropertyPacked(this, "name") | |
| member Notifications: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "notifications") | |
| member ProfileBackgroundColor: JsonProvider+IntOrString with get | |
| JsonRuntime.GetPropertyPacked(this, "profile_background_color") | |
| member ProfileBackgroundImageUrl: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "profile_background_image_url") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ProfileBackgroundImageUrlHttps: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "profile_background_image_url_https") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ProfileBackgroundTile: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "profile_background_tile") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member ProfileBannerUrl: string option with get | |
| JsonRuntime.ConvertString("", JsonRuntime.TryGetPropertyUnpacked(this, "profile_banner_url")) | |
| member ProfileImageUrl: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "profile_image_url") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ProfileImageUrlHttps: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "profile_image_url_https") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ProfileLinkColor: JsonProvider+IntOrString with get | |
| JsonRuntime.GetPropertyPacked(this, "profile_link_color") | |
| member ProfileSidebarBorderColor: JsonProvider+IntOrString with get | |
| JsonRuntime.GetPropertyPacked(this, "profile_sidebar_border_color") | |
| member ProfileSidebarFillColor: JsonProvider+IntOrString with get | |
| JsonRuntime.GetPropertyPacked(this, "profile_sidebar_fill_color") | |
| member ProfileTextColor: JsonProvider+IntOrString with get | |
| JsonRuntime.GetPropertyPacked(this, "profile_text_color") | |
| member ProfileUseBackgroundImage: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "profile_use_background_image") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member Protected: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "protected") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member ScreenName: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "screen_name") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member StatusesCount: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "statuses_count") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member TimeZone: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "time_zone") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Url: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "url") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member UtcOffset: JsonProvider+IntChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "utc_offset") | |
| member Verified: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "verified") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| class JsonProvider+UserMention : FDR.IJsonDocument | |
| member Id: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member IdStr: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id_str") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member Indices: int[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "indices"), new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertInteger("", Some t.JsonValue), Some t.JsonValue))) | |
| member Name: JsonProvider+IntOrString with get | |
| JsonRuntime.GetPropertyPacked(this, "name") | |
| member ScreenName: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "screen_name") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| class JsonProvider+Sizes : FDR.IJsonDocument | |
| member Large: JsonProvider+Large with get | |
| JsonRuntime.GetPropertyPacked(this, "large") | |
| member Medium: JsonProvider+Large with get | |
| JsonRuntime.GetPropertyPacked(this, "medium") | |
| member Small: JsonProvider+Large with get | |
| JsonRuntime.GetPropertyPacked(this, "small") | |
| member Thumb: JsonProvider+Large with get | |
| JsonRuntime.GetPropertyPacked(this, "thumb") | |
| class JsonProvider+UserMention2 : FDR.IJsonDocument | |
| member Id: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member IdStr: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id_str") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member Indices: int[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "indices"), new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertInteger("", Some t.JsonValue), Some t.JsonValue))) | |
| member Name: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "name") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ScreenName: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "screen_name") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| class JsonProvider+Large : FDR.IJsonDocument | |
| member H: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "h") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member Resize: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "resize") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member W: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "w") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| class JsonProvider | |
| static member AsyncLoad: uri:string -> JsonProvider+Topic[] async | |
| let f = new Func<_,_>(fun (t:TextReader) -> JsonRuntime.ConvertArray(JsonDocument.Create(t, ""), new Func<_,_>(id)))) | |
| TextRuntime.AsyncMap((IO.asyncReadTextAtRuntime false @"<SOURCE_DIRECTORY>\..\FSharp.Data.Tests\Data" "" uri), f) | |
| static member Load: stream:System.IO.Stream -> JsonProvider+Topic[] | |
| JsonRuntime.ConvertArray(JsonDocument.Create(((new StreamReader(stream)) :> TextReader), ""), new Func<_,_>(id))) | |
| static member Load: reader:System.IO.TextReader -> JsonProvider+Topic[] | |
| JsonRuntime.ConvertArray(JsonDocument.Create(reader, ""), new Func<_,_>(id))) | |
| static member Load: uri:string -> JsonProvider+Topic[] | |
| JsonRuntime.ConvertArray(JsonDocument.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false @"<SOURCE_DIRECTORY>\..\FSharp.Data.Tests\Data" "" uri)), ""), new Func<_,_>(id))) | |
| static member Parse: text:string -> JsonProvider+Topic[] | |
| JsonRuntime.ConvertArray(JsonDocument.Create(((new StringReader(text)) :> TextReader), ""), new Func<_,_>(id))) | |
| class JsonProvider+Topic : FDR.IJsonDocument | |
| member Categories: JsonProvider+Category[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "categories"), new Func<_,_>(id))) | |
| member CategoryIds: string[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "category-ids"), new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertString("", Some t.JsonValue), Some t.JsonValue))) | |
| member CourseIds: int[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "course-ids"), new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertInteger("", Some t.JsonValue), Some t.JsonValue))) | |
| member Courses: JsonProvider+Course[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "courses"), new Func<_,_>(id))) | |
| member Display: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "display") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member Id: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member Instructor: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "instructor") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Language: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "language") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member LargeIcon: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "large_icon") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Name: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "name") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Photo: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "photo") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member PreviewLink: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "preview_link") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member SelfServiceCourseId: JsonProvider+IntChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "self_service_course_id") | |
| member ShortDescription: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "short_description") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ShortName: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "short_name") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member SmallIcon: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "small_icon") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member SmallIconHover: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "small_icon_hover") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member SubtitleLanguagesCsv: string option with get | |
| JsonRuntime.ConvertString("", JsonRuntime.TryGetPropertyUnpacked(this, "subtitle_languages_csv")) | |
| member Universities: JsonProvider+University[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "universities"), new Func<_,_>(id))) | |
| member UniversityIds: string[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "university-ids"), new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertString("", Some t.JsonValue), Some t.JsonValue))) | |
| member UniversityLogo: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "university_logo") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Video: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "video") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Visibility: JsonProvider+IntChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "visibility") | |
| class JsonProvider+Category : FDR.IJsonDocument | |
| member Description: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "description") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Id: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member MailingListId: JsonProvider+IntChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "mailing_list_id") | |
| member Name: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "name") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ShortName: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "short_name") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| class JsonProvider+Course : FDR.IJsonDocument | |
| member AceCloseDate: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "ace_close_date") | |
| member AceOpenDate: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "ace_open_date") | |
| member AceSemesterHours: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "ace_semester_hours") | |
| member AceTrackPriceDisplay: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "ace_track_price_display") | |
| member Active: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "active") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member AuthReviewCompletionDate: FDR.JsonDocument option with get | |
| JsonRuntime.TryGetPropertyPacked(this, "auth_review_completion_date") | |
| member CertificateDescription: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "certificate_description") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member CertificatesReady: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "certificates_ready") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member CheggSessionId: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "chegg_session_id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member CreatorId: JsonProvider+IntChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "creator_id") | |
| member Deployed: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "deployed") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member DurationString: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "duration_string") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member EligibleForAce: JsonProvider+BooleanChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "eligible_for_ACE") | |
| member EligibleForCertificates: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "eligible_for_certificates") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member EligibleForSignatureTrack: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "eligible_for_signature_track") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member EndDate: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "end_date") | |
| member GradesReleaseDate: JsonProvider+DateTimeChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "grades_release_date") | |
| member GradingPolicyDistinction: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "grading_policy_distinction") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member GradingPolicyNormal: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "grading_policy_normal") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member HomeLink: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "home_link") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Id: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member Instructors: int[] with get | |
| JsonRuntime.ConvertArray(JsonRuntime.GetPropertyPacked(this, "instructors"), new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertInteger("", Some t.JsonValue), Some t.JsonValue))) | |
| member Name: JsonProvider+IntOrString with get | |
| JsonRuntime.GetPropertyPacked(this, "name") | |
| member NotifiedSubscribers: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "notified_subscribers") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member ProctoredExamCompletionDate: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "proctored_exam_completion_date") | |
| member Record: JsonProvider+Record with get | |
| JsonRuntime.GetPropertyPacked(this, "record") | |
| member SignatureTrackCertificateCombinedSignature: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "signature_track_certificate_combined_signature") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member SignatureTrackCertificateDesignId: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "signature_track_certificate_design_id") | |
| member SignatureTrackCertificateSignatureBlurb: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "signature_track_certificate_signature_blurb") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member SignatureTrackCloseTime: JsonProvider+DateTimeChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "signature_track_close_time") | |
| member SignatureTrackLastChanceTime: JsonProvider+DateTimeChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "signature_track_last_chance_time") | |
| member SignatureTrackOpenTime: JsonProvider+DateTimeChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "signature_track_open_time") | |
| member SignatureTrackPrice: JsonProvider+IntChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "signature_track_price") | |
| member SignatureTrackRegistrationOpen: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "signature_track_registration_open") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member SignatureTrackRegularPrice: JsonProvider+IntChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "signature_track_regular_price") | |
| member StartDate: JsonProvider+DateTimeChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "start_date") | |
| member StartDateString: JsonProvider+StringOrDateTime with get | |
| JsonRuntime.GetPropertyPacked(this, "start_date_string") | |
| member StartDay: JsonProvider+IntChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "start_day") | |
| member StartMonth: JsonProvider+IntChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "start_month") | |
| member StartYear: JsonProvider+IntChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "start_year") | |
| member StatementDesignId: JsonProvider+IntChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "statement_design_id") | |
| member Status: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "status") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member Textbooks: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "textbooks") | |
| member TopicId: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "topic_id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member UniversityLogo: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "university_logo") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| class JsonProvider+IntChoice : FDR.IJsonDocument | |
| member Number: int option with get | |
| JsonRuntime.TryGetValueByTypeTag(this, "", "Number", new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertInteger("", Some t.JsonValue), Some t.JsonValue))) | |
| class JsonProvider+University : FDR.IJsonDocument | |
| member AbbrName: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "abbr_name") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member BackgroundColor: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "background_color") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Banner: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "banner") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ChinaMirror: int option with get | |
| JsonRuntime.ConvertInteger("", JsonRuntime.TryGetPropertyUnpacked(this, "china_mirror")) | |
| member ClassLogo: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "class_logo") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Description: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "description") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Display: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "display") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member Favicon: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "favicon") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member HomeLink: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "home_link") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Id: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member LandingPageBanner: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "landing_page_banner") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Location: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "location") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member LocationCity: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "location_city") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member LocationCountry: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "location_country") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member LocationLat: JsonProvider+DecimalChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "location_lat") | |
| member LocationLng: JsonProvider+DecimalChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "location_lng") | |
| member LocationState: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "location_state") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Logo: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "logo") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member MailingListId: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "mailing_list_id") | |
| member Name: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "name") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member PartnerType: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "partner_type") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member PrimaryColor: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "primary_color") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member RectangularLogoSvg: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "rectangular_logo_svg") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member ShortName: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "short_name") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member SquareLogo: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "square_logo") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member SquareLogoSource: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "square_logo_source") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member SquareLogoSvg: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "square_logo_svg") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Website: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "website") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member WebsiteFacebook: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "website_facebook") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member WebsiteTwitter: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "website_twitter") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member WebsiteYoutube: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "website_youtube") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member Wordmark: FDR.JsonDocument with get | |
| JsonRuntime.GetPropertyPacked(this, "wordmark") | |
| class JsonProvider+BooleanChoice : FDR.IJsonDocument | |
| member Boolean: bool option with get | |
| JsonRuntime.TryGetValueByTypeTag(this, "", "Boolean", new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertBoolean("", Some t.JsonValue), Some t.JsonValue))) | |
| class JsonProvider+DateTimeChoice : FDR.IJsonDocument | |
| member DateTime: System.DateTime option with get | |
| JsonRuntime.TryGetValueByTypeTag(this, "", "DateTime", new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertDateTime("", Some t.JsonValue), Some t.JsonValue))) | |
| class JsonProvider+DecimalChoice : FDR.IJsonDocument | |
| member Number: decimal option with get | |
| JsonRuntime.TryGetValueByTypeTag(this, "", "Number", new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertDecimal("", Some t.JsonValue), Some t.JsonValue))) | |
| class JsonProvider+IntOrString : FDR.IJsonDocument | |
| member Number: int option with get | |
| JsonRuntime.TryGetValueByTypeTag(this, "", "Number", new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertInteger("", Some t.JsonValue), Some t.JsonValue))) | |
| member String: string option with get | |
| JsonRuntime.TryGetValueByTypeTag(this, "", "String", new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertString("", Some t.JsonValue), Some t.JsonValue))) | |
| class JsonProvider+Record : FDR.IJsonDocument | |
| member AceGrade: int with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "ace_grade") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertInteger("", value.JsonOpt), value.JsonOpt) | |
| member AchievementLevel: JsonProvider+IntChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "achievement_level") | |
| member AuthenticatedOverall: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "authenticated_overall") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member GradeDistinction: JsonProvider+DecimalChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "grade_distinction") | |
| member GradeNormal: JsonProvider+DecimalChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "grade_normal") | |
| member IsEnrolledForProctoredExam: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "is_enrolled_for_proctored_exam") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member PassedAce: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "passed_ace") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member ShareForWork: JsonProvider+BooleanChoice with get | |
| JsonRuntime.GetPropertyPacked(this, "share_for_work") | |
| member SignatureTrack: bool with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "signature_track") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertBoolean("", value.JsonOpt), value.JsonOpt) | |
| member VerifyCertId: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "verify_cert_id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| member WithGradeCertId: string with get | |
| let value = JsonRuntime.TryGetPropertyUnpackedWithPath(this, "with_grade_cert_id") | |
| JsonRuntime.GetNonOptionalValue(value.Path, JsonRuntime.ConvertString("", value.JsonOpt), value.JsonOpt) | |
| class JsonProvider+StringOrDateTime : FDR.IJsonDocument | |
| member DateTime: System.DateTime option with get | |
| JsonRuntime.TryGetValueByTypeTag(this, "", "DateTime", new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertDateTime("", Some t.JsonValue), Some t.JsonValue))) | |
| member String: string option with get | |
| JsonRuntime.TryGetValueByTypeTag(this, "", "String", new Func<_,_>(fun (t:IJsonDocument) -> JsonRuntime.GetNonOptionalValue(t.Path, JsonRuntime.ConvertString("", Some t.JsonValue), Some t.JsonValue))) | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Validate signature didn't change |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment