diplomacy-0.1.0.0: The board game Diplomacy, spoken in Haskell

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 t n) [t] 

Instances

Eq t => Eq (AtLeast n t) 
Show t => Show (AtLeast n t) 

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