Data.MinLen

Type level naturals

Peano numbers

data Zero

data Succ nat

class TypeNat nat

type family AddNat x y

type family MaxNat x y

Minimum length newtype wrapper

data MinLen nat mono

unMinLen

toMinLenZero

toMinLen

unsafeToMinLen

mlcons

mlappend

mlunion

head

last

tailML

initML

class GrowingAppend mono

ofoldMap1

ofold1

ofoldr1

ofoldl1'

maximum

minimum

maximumBy

minimumBy