Data.AtLeast

Documentation

data AtLeast n t

Constructors

AtLeast (Vect n t) [t]

Instances

Eq t => Eq (AtLeast n t)

Methods

(==) :: AtLeast n t -> AtLeast n t -> Bool

(/=) :: AtLeast n t -> AtLeast n t -> Bool

Show t => Show (AtLeast n t)

Methods

showsPrec :: Int -> AtLeast n t -> ShowS

show :: AtLeast n t -> String

showList :: [AtLeast n t] -> ShowS

fromList :: [t] -> AtLeast Z t

toList :: AtLeast n t -> [t]

appendList :: AtLeast n t -> [t] -> AtLeast n t

weaken :: forall n m t. LTE n m => AtLeast m t -> AtLeast n t

maxima :: (t -> t -> Ordering) -> AtLeast One t -> AtLeast One t

head :: AtLeast One t -> t