Documentation

Checks whether an annotation contains a given position i.e. pos ∈ [start, end)

>>> Intrinsic `contains` L.Pos 1 1
False

>>> External `contains` L.Pos 1 1
False

>>> Ann (L.Pos 0 0) (L.Pos 0 10) `contains` L.Pos 0 5
True

>>> Ann (L.Pos 0 0) (L.Pos 0 10) `contains` L.Pos 0 10
False

Checks whether an annotation contains another annotation.

i.e. pos ∈ [start, end)

>>> Intrinsic `encompasses` Ann (L.Pos 1 1) (L.Pos 2 1)
Nothing

>>> External `encompasses` Ann (L.Pos 1 1) (L.Pos 2 1)
Nothing

>>> Ann (L.Pos 0 0) (L.Pos 0 10) `encompasses` Ann (L.Pos 0 1) (L.Pos 0 5)
Just True

>>> Ann (L.Pos 1 0) (L.Pos 1 10) `encompasses` Ann (L.Pos 0 0) (L.Pos 2 0)
Just False