Data.Aviation.Aip.OnAipRecords

Documentation

newtype OnAipRecords f a

Constructors

OnAipRecords (Either IOException (FilePath, AipRecords) -> (String -> IO ()) -> FilePath -> f a)

Instances

MonadTrans OnAipRecords

Defined in Data.Aviation.Aip.OnAipRecords

Methods

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

Monad f => Monad (OnAipRecords f)

Defined in Data.Aviation.Aip.OnAipRecords

Methods

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

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

return :: a -> OnAipRecords f a

fail :: String -> OnAipRecords f a

Functor f => Functor (OnAipRecords f)

Defined in Data.Aviation.Aip.OnAipRecords

Methods

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

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

Applicative f => Applicative (OnAipRecords f)

Defined in Data.Aviation.Aip.OnAipRecords

Methods

pure :: a -> OnAipRecords f a

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

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

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

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

Alternative f => Alternative (OnAipRecords f)

Defined in Data.Aviation.Aip.OnAipRecords

Methods

empty :: OnAipRecords f a

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

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

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

MonadIO f => MonadIO (OnAipRecords f)

Defined in Data.Aviation.Aip.OnAipRecords

Methods

liftIO :: IO a -> OnAipRecords f a

Apply f => Apply (OnAipRecords f)

Defined in Data.Aviation.Aip.OnAipRecords

Methods

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

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

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

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

Alt f => Alt (OnAipRecords f)

Defined in Data.Aviation.Aip.OnAipRecords

Methods

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

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

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

Bind f => Bind (OnAipRecords f)

Defined in Data.Aviation.Aip.OnAipRecords

Methods

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

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

Wrapped (OnAipRecords f k)

Defined in Data.Aviation.Aip.OnAipRecords

Associated Types

type Unwrapped (OnAipRecords f k) :: *

Methods

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

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

Defined in Data.Aviation.Aip.OnAipRecords

type Unwrapped (OnAipRecords f k)

Defined in Data.Aviation.Aip.OnAipRecords

type Unwrapped (OnAipRecords f k) = Either IOException (FilePath, AipRecords) -> (String -> IO ()) -> FilePath -> f k

ioOnAipRecords :: MonadIO f => (Either IOException (FilePath, AipRecords) -> (String -> IO ()) -> FilePath -> IO a) -> OnAipRecords f a

nothingOnAipRecords :: Applicative f => OnAipRecords f ()

resultOnAipRecords :: Applicative f => OnAipRecords f (Either IOException (FilePath, AipRecords))

logOnAipRecords :: Applicative f => OnAipRecords f (String -> IO ())

downloaddirOnAipRecords :: Applicative f => OnAipRecords f (Either IOException FilePath)

basedirOnAipRecords :: Applicative f => OnAipRecords f FilePath

aipRecordsOnAipRecords :: Applicative f => OnAipRecords f (Either IOException AipRecords)

prefixedAipRecordsOnAipRecords :: Applicative f => OnAipRecords f (Either IOException AipRecords)

aipRecordsTimeOnAipRecords :: Applicative f => OnAipRecords f (Either IOException (NonEmpty UTCTime))

aipRecordsTimesOnAipRecords :: Applicative f => OnAipRecords f [UTCTime]

printOnAipRecords :: OnAipRecordsIO ()

type OnAipRecordsAipCon a = OnAipRecords AipCon a

type OnAipRecordsIO a = OnAipRecords IO a

logeachOnAipRecords :: OnAipRecordsIO ()

logShowOnAipRecords :: Show a => a -> OnAipRecordsIO ()