Data.Aviation.Aip.PerHref

Documentation

newtype PerHref f a

Constructors

PerHref (Href -> FilePath -> FilePath -> (String -> AipCon ()) -> f a)

Instances

MonadTrans PerHref

Defined in Data.Aviation.Aip.PerHref

Methods

lift :: Monad m => m a -> PerHref m a

Monad f => Monad (PerHref f)

Defined in Data.Aviation.Aip.PerHref

Methods

(>>=) :: PerHref f a -> (a -> PerHref f b) -> PerHref f b

(>>) :: PerHref f a -> PerHref f b -> PerHref f b

return :: a -> PerHref f a

fail :: String -> PerHref f a

Functor f => Functor (PerHref f)

Defined in Data.Aviation.Aip.PerHref

Methods

fmap :: (a -> b) -> PerHref f a -> PerHref f b

(<$) :: a -> PerHref f b -> PerHref f a

Applicative f => Applicative (PerHref f)

Defined in Data.Aviation.Aip.PerHref

Methods

pure :: a -> PerHref f a

(<*>) :: PerHref f (a -> b) -> PerHref f a -> PerHref f b

liftA2 :: (a -> b -> c) -> PerHref f a -> PerHref f b -> PerHref f c

(*>) :: PerHref f a -> PerHref f b -> PerHref f b

(<*) :: PerHref f a -> PerHref f b -> PerHref f a

Alternative f => Alternative (PerHref f)

Defined in Data.Aviation.Aip.PerHref

Methods

empty :: PerHref f a

(<|>) :: PerHref f a -> PerHref f a -> PerHref f a

some :: PerHref f a -> PerHref f [a]

many :: PerHref f a -> PerHref f [a]

MonadIO f => MonadIO (PerHref f)

Defined in Data.Aviation.Aip.PerHref

Methods

liftIO :: IO a -> PerHref f a

Apply f => Apply (PerHref f)

Defined in Data.Aviation.Aip.PerHref

Methods

(<.>) :: PerHref f (a -> b) -> PerHref f a -> PerHref f b

(.>) :: PerHref f a -> PerHref f b -> PerHref f b

(<.) :: PerHref f a -> PerHref f b -> PerHref f a

liftF2 :: (a -> b -> c) -> PerHref f a -> PerHref f b -> PerHref f c

Alt f => Alt (PerHref f)

Defined in Data.Aviation.Aip.PerHref

Methods

(<!>) :: PerHref f a -> PerHref f a -> PerHref f a

some :: Applicative (PerHref f) => PerHref f a -> PerHref f [a]

many :: Applicative (PerHref f) => PerHref f a -> PerHref f [a]

Bind f => Bind (PerHref f)

Defined in Data.Aviation.Aip.PerHref

Methods

(>>-) :: PerHref f a -> (a -> PerHref f b) -> PerHref f b

join :: PerHref f (PerHref f a) -> PerHref f a

Wrapped (PerHref f k)

Defined in Data.Aviation.Aip.PerHref

Associated Types

type Unwrapped (PerHref f k) :: *

Methods

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

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

Defined in Data.Aviation.Aip.PerHref

type Unwrapped (PerHref f k)

Defined in Data.Aviation.Aip.PerHref

type Unwrapped (PerHref f k) = Href -> FilePath -> FilePath -> (String -> AipCon ()) -> f k

ioPerHref :: MonadIO f => (Href -> FilePath -> FilePath -> (String -> AipCon ()) -> IO a) -> PerHref f a

nothingPerHref :: Applicative f => PerHref f ()

hrefPerHref :: Applicative f => PerHref f Href

basedirPerHref :: Applicative f => PerHref f FilePath

downloaddirPerHref :: Applicative f => PerHref f FilePath

logPerHref :: Applicative f => PerHref f (String -> AipCon ())

logeachPerHref :: PerHrefAipCon ()

logShowPerHref :: Show a => a -> PerHrefAipCon ()

type PerHrefAipCon a = PerHref AipCon a

type PerHrefIO a = PerHref IO a