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