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