Idris2Doc : Chem.Util

Chem.Util

(source)

Definitions

minBy : Ordb=> (a->b) ->Lista->Maybea
  Extracts the minimal value from a list (if any) according to the
given comparison function.

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

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

Totality: total
Visibility: export