ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-21 14:09:30 +03:00
Code Issues Projects Releases Wiki Activity

Update docs test

Browse Source
This commit is contained in:
Edwin Brady 2015-10-09 15:51:00 +01:00
parent 3268c1bf5a
commit 2cda43e36c
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
test/docs003/expected
View File

@ -1,12 +1,13 @@
Type class Functor
Functors
Functors allow a uniform action over a parameterised type.
Parameters:
f -- the action of the functor on objects
f -- a parameterised type
Methods:
map : Functor f => (m : a -> b) -> f a -> f b
The action of the functor on morphisms
Apply a function across everything of type 'a' in a
parameterised type
The function is Total
Instances: