Idris2Doc : Chem.Util

Chem.Util

(source)

Definitions

minBy : Ord b => (a -> b) -> List a -> Maybe a
  Extracts the minimal value from a list (if any) according to the
given comparison function.

Totality: total
Visibility: export
mapIf : Functor f => (a -> Bool) -> (a -> a) -> f a -> f a
  Modify those values in a functor that fulfill the given predicate

Totality: total
Visibility: export
mapFilter : (a -> Bool) -> (a -> b) -> List a -> List b
  Keep and modify those values in a list that fulfill the given predicate

Totality: total
Visibility: export