git.iko.soy/Idris-dev
on cb90bf8 help sign in
Idris-dev/test/docs003/docs003.idr
9 lines 203 B history raw
1module docs003
3implementation [mine] Functor List where
4 map m [] = []
5 map m (x :: xs) = m x :: map m xs
7||| More functors!
8implementation [another] Functor List where
9 map f xs = map @{mine} f xs