giacomociti

#r @"..\packages\Fare.1.0.0\lib\net35\Fare.dll"
#r @"..\packages\FsCheck.2.0.4\lib\net45\FsCheck.dll"

open Fare
open FsCheck
open System.Collections.Generic

// partial and naive implementation of a generator attempting to honor the size
let generator pattern =
    // pre-compute a certain amount of values and group them by size

giacomociti

        [Fact]
        public async Task TransformBlockPreserveOrder()
        {
            const int badItem = 89;
            var results = new List<int>();
            var input = Enumerable.Range(1, int.MaxValue);

            var mapBlock = new TransformBlock<int, int>(
                x => x == badItem? throw new Exception("bug") : x,
                new ExecutionDataflowBlockOptions {MaxDegreeOfParallelism = 10});

giacomociti

#r "System.Xml.Linq"
open System.Xml
open System.Xml.Linq

let elements ns name uri =
    seq {
        use reader = XmlReader.Create(inputUri = uri)
        let onElement() = reader.LocalName = name && reader.NamespaceURI = ns
        while onElement() || reader.ReadToFollowing(name, ns) do
            yield XNode.ReadFrom(reader) :?> XElement }

giacomociti

#r "System.Xml.Linq"

open System.Xml.Linq

let htmlSummary primo secondo =
    let tag name content = XElement(XName.Get name, content)
    let em (text: string) = tag "em" [| text |]
    let li key value = tag "li" [| key; em value |]
    [|
        li "primo" primo

giacomociti

#r "nuget: dotNetRdf.Core"

open VDS.RDF
open VDS.RDF.Parsing

let graph = new Graph()

StringParser.Parse(graph, "
@prefix : <http://example.org/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

giacomociti

@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix math: <http://www.w3.org/2000/10/swap/math#> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix pred: <http://www.w3.org/2007/rif-builtin-predicate#>.
@prefix : <http://www.w3.org/2006/time/aux#> .


# instant comparison
# TODO: should cover many more cases than just dateTime