IdrisDoc: Prelude.Functor

# Prelude.Functor

(<$>) : Functor f => (func : a -> b) -> f a -> f b

  An infix alias for `map`, applying a function across everything of
  type 'a' in a parameterised type

  Fixity
    Left associative, precedence 4
  f

    the parameterised type

  func

    the function to apply

interface Functor

  Functors allow a uniform action over a parameterised type.

  map : Functor f => (func : a -> b) -> f a -> f b

    Apply a function across everything of type 'a' in a
    parameterised type

ignore : Functor f => f a -> f ()

  Run something for effects, throwing away the return value