aip-0.1.0: Aeronautical Information Package (AIP)

Safe HaskellNone
LanguageHaskell2010

Data.Aviation.Aip.AfterDownload

Documentation

newtype AfterDownload f a Source #

Constructors

AfterDownload (FilePath -> Href -> f a) 
Instances
Monad f => Monad (AfterDownload f) Source # 
Instance details

Defined in Data.Aviation.Aip.AfterDownload

Methods

(>>=) :: AfterDownload f a -> (a -> AfterDownload f b) -> AfterDownload f b #

(>>) :: AfterDownload f a -> AfterDownload f b -> AfterDownload f b #

return :: a -> AfterDownload f a #

fail :: String -> AfterDownload f a #

Functor f => Functor (AfterDownload f) Source # 
Instance details

Defined in Data.Aviation.Aip.AfterDownload

Methods

fmap :: (a -> b) -> AfterDownload f a -> AfterDownload f b #

(<$) :: a -> AfterDownload f b -> AfterDownload f a #

Applicative f => Applicative (AfterDownload f) Source # 
Instance details

Defined in Data.Aviation.Aip.AfterDownload

Methods

pure :: a -> AfterDownload f a #

(<*>) :: AfterDownload f (a -> b) -> AfterDownload f a -> AfterDownload f b #

liftA2 :: (a -> b -> c) -> AfterDownload f a -> AfterDownload f b -> AfterDownload f c #

(*>) :: AfterDownload f a -> AfterDownload f b -> AfterDownload f b #

(<*) :: AfterDownload f a -> AfterDownload f b -> AfterDownload f a #

Wrapped (AfterDownload f k) Source # 
Instance details

Defined in Data.Aviation.Aip.AfterDownload

Associated Types

type Unwrapped (AfterDownload f k) :: * #

AfterDownload f a ~ x => Rewrapped (AfterDownload g k) x Source # 
Instance details

Defined in Data.Aviation.Aip.AfterDownload

type Unwrapped (AfterDownload f k) Source # 
Instance details

Defined in Data.Aviation.Aip.AfterDownload

type Unwrapped (AfterDownload f k) = FilePath -> Href -> f k