mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-21 22:17:19 +03:00
10 lines
191 B
Idris
10 lines
191 B
Idris
module docs003
|
|
|
|
instance [mine] Functor List where
|
|
map m [] = []
|
|
map m (x :: xs) = m x :: map m xs
|
|
|
|
||| More functors!
|
|
instance [another] Functor List where
|
|
map f xs = map @{mine} f xs
|