typelevel-1.2.3: Useful type level operations (type families and related operators).

Safe HaskellNone
LanguageHaskell2010

Type.Functor

Documentation

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

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

Equations

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