concat-classes-0.3.0.0: Constrained categories
Safe HaskellSafe-Inferred
LanguageHaskell2010

ConCat.MinMax

Description

Typeclass for mimimum and maximum on functors use with import Prelude hiding (minimum, maximum)

Documentation

class Ord a => MinMax f a where Source #

Methods

minimum :: f a -> a Source #

maximum :: f a -> a Source #

Instances

Instances details
(Vector v a, Ord a, n ~ (m + 1)) => MinMax (Vector v n) a Source # 
Instance details

Defined in ConCat.MinMax

Methods

minimum :: Vector v n a -> a Source #

maximum :: Vector v n a -> a Source #

class (Ord a, Representable f) => MinMaxRep f a where Source #

Methods

minimumRep :: f a -> (Rep f, a) Source #

maximumRep :: f a -> (Rep f, a) Source #

Instances

Instances details
(Ord a, KnownNat n, n ~ (m + 1)) => MinMaxRep (Vector Vector n) a Source # 
Instance details

Defined in ConCat.MinMax

Methods

minimumRep :: Vector Vector0 n a -> (Rep (Vector Vector0 n), a) Source #

maximumRep :: Vector Vector0 n a -> (Rep (Vector Vector0 n), a) Source #