Strict.hs

{-# LANGUAGE FlexibleInstances     #-}
{-# LANGUAGE MultiParamTypeClasses #-}

module HaskellWorks.Data.Segment.Strict where

import HaskellWorks.Data.FingerTree.Strict

-- | A closed segment.  The lower bound should be less than or equal
-- to the higher bound.
data Segment k = Segment { low :: !k, high :: !k }
    deriving (Eq, Ord, Show)

-- | A segment in which the lower and upper bounds are equal.
point :: k -> Segment k
point k = Segment k k

instance (Monoid k) => Measured k (Segment k) where
  measure = low