Type.Functor

Documentation

type (<$>) f as = FMap f as infixl 4

type family FMap (f :: l -> k) (as :: [l]) :: [k] where ...

Equations

FMap f '[] = '[]

FMap f (a ': as) = f a ': FMap f as