naperian-0.1.0.0: Efficient representable functors

Safe HaskellNone
LanguageHaskell2010

Data.Functor1.Applied

Documentation

newtype Applied a f Source #

Constructors

Applied 

Fields

Instances

Functor1 (Applied a) Source # 

Methods

map1 :: (forall b. f b -> g b) -> Applied a f -> Applied a g Source #

mapCoerce1 :: (forall x. Coercion * (f x) (g x)) -> Applied a f -> Applied a g Source #

Eq (f a) => Eq (Applied a f) Source # 

Methods

(==) :: Applied a f -> Applied a f -> Bool #

(/=) :: Applied a f -> Applied a f -> Bool #

Show (f a) => Show (Applied a f) Source # 

Methods

showsPrec :: Int -> Applied a f -> ShowS #

show :: Applied a f -> String #

showList :: [Applied a f] -> ShowS #