Data.Aviation.Aip.AfterDownload

Documentation

newtype AfterDownload f a

Constructors

AfterDownload (FilePath -> Href -> f a)

Instances

Monad f => Monad (AfterDownload f)

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)

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)

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)

Defined in Data.Aviation.Aip.AfterDownload

Associated Types

type Unwrapped (AfterDownload f k) :: *

Methods

_Wrapped' :: Iso' (AfterDownload f k) (Unwrapped (AfterDownload f k))

AfterDownload f a ~ x => Rewrapped (AfterDownload g k) x

Defined in Data.Aviation.Aip.AfterDownload

type Unwrapped (AfterDownload f k)

Defined in Data.Aviation.Aip.AfterDownload

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

nothingAfterDownload :: Applicative f => AfterDownload f ()

filePathAfterDownload :: Applicative f => AfterDownload f FilePath

hrefAfterDownload :: Applicative f => AfterDownload f Href

type AfterDownloadAipCon a = AfterDownload AipCon a