diplomacy-0.2.0.0: Diplomacy board game

Copyright(c) Alexander Vieth 2015
LicenseBSD3
Maintaineraovieth@gmail.com
Stabilityexperimental
Portabilitynon-portable (GHC only)
Safe HaskellNone
LanguageHaskell2010

Data.AtLeast

Description

 

Documentation

data AtLeast n t Source #

Constructors

AtLeast (Vect n t) [t] 

Instances

Eq t => Eq (AtLeast n t) Source # 

Methods

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

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

Show t => Show (AtLeast n t) Source # 

Methods

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

show :: AtLeast n t -> String #

showList :: [AtLeast n t] -> ShowS #

fromList :: [t] -> AtLeast Z t Source #

toList :: AtLeast n t -> [t] Source #

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

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

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

head :: AtLeast One t -> t Source #