Skip to content

Commit

Permalink
inlined Seq module functions
Browse files Browse the repository at this point in the history
  • Loading branch information
TysonMN authored and adam-becker committed Feb 7, 2021
1 parent 85b2671 commit e42a648
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/Hedgehog/Seq.fs
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
[<RequireQualifiedAccess>]
module internal Seq

let cons (x : 'a) (xs : seq<'a>) : seq<'a> =
let inline cons (x : 'a) (xs : seq<'a>) : seq<'a> =
seq {
yield x
yield! xs
}

let consNub (x : 'a) (ys0 : seq<'a>) : seq<'a> =
let inline consNub (x : 'a) (ys0 : seq<'a>) : seq<'a> =
match Seq.tryHead ys0 with
| None -> Seq.singleton x
| Some y ->
Expand Down

0 comments on commit e42a648

Please sign in to comment.