metar-0.0.1: Australian METAR

Safe HaskellNone
LanguageHaskell2010

Data.Aviation.Metar.TAFResultT

Documentation

newtype TAFResultT f a Source #

Constructors

TAFResultT (f (TAFResult a)) 
Instances
MonadTrans TAFResultT Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

Methods

lift :: Monad m => m a -> TAFResultT m a #

Monad f => Monad (TAFResultT f) Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

Methods

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

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

return :: a -> TAFResultT f a #

fail :: String -> TAFResultT f a #

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

Defined in Data.Aviation.Metar.TAFResultT

Methods

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

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

Monad f => Applicative (TAFResultT f) Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

Methods

pure :: a -> TAFResultT f a #

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

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

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

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

Foldable f => Foldable (TAFResultT f) Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

Methods

fold :: Monoid m => TAFResultT f m -> m #

foldMap :: Monoid m => (a -> m) -> TAFResultT f a -> m #

foldr :: (a -> b -> b) -> b -> TAFResultT f a -> b #

foldr' :: (a -> b -> b) -> b -> TAFResultT f a -> b #

foldl :: (b -> a -> b) -> b -> TAFResultT f a -> b #

foldl' :: (b -> a -> b) -> b -> TAFResultT f a -> b #

foldr1 :: (a -> a -> a) -> TAFResultT f a -> a #

foldl1 :: (a -> a -> a) -> TAFResultT f a -> a #

toList :: TAFResultT f a -> [a] #

null :: TAFResultT f a -> Bool #

length :: TAFResultT f a -> Int #

elem :: Eq a => a -> TAFResultT f a -> Bool #

maximum :: Ord a => TAFResultT f a -> a #

minimum :: Ord a => TAFResultT f a -> a #

sum :: Num a => TAFResultT f a -> a #

product :: Num a => TAFResultT f a -> a #

Traversable f => Traversable (TAFResultT f) Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

Methods

traverse :: Applicative f0 => (a -> f0 b) -> TAFResultT f a -> f0 (TAFResultT f b) #

sequenceA :: Applicative f0 => TAFResultT f (f0 a) -> f0 (TAFResultT f a) #

mapM :: Monad m => (a -> m b) -> TAFResultT f a -> m (TAFResultT f b) #

sequence :: Monad m => TAFResultT f (m a) -> m (TAFResultT f a) #

Eq1 f => Eq1 (TAFResultT f) Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

Methods

liftEq :: (a -> b -> Bool) -> TAFResultT f a -> TAFResultT f b -> Bool #

Show1 f => Show1 (TAFResultT f) Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> TAFResultT f a -> ShowS #

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [TAFResultT f a] -> ShowS #

MonadIO f => MonadIO (TAFResultT f) Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

Methods

liftIO :: IO a -> TAFResultT f a #

Monad f => Apply (TAFResultT f) Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

Methods

(<.>) :: TAFResultT f (a -> b) -> TAFResultT f a -> TAFResultT f b #

(.>) :: TAFResultT f a -> TAFResultT f b -> TAFResultT f b #

(<.) :: TAFResultT f a -> TAFResultT f b -> TAFResultT f a #

liftF2 :: (a -> b -> c) -> TAFResultT f a -> TAFResultT f b -> TAFResultT f c #

Monad f => Alt (TAFResultT f) Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

Methods

(<!>) :: TAFResultT f a -> TAFResultT f a -> TAFResultT f a #

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

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

Monad f => Bind (TAFResultT f) Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

Methods

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

join :: TAFResultT f (TAFResultT f a) -> TAFResultT f a #

Extend f => Extend (TAFResultT f) Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

Methods

duplicated :: TAFResultT f a -> TAFResultT f (TAFResultT f a) #

extended :: (TAFResultT f a -> b) -> TAFResultT f a -> TAFResultT f b #

(Eq a, Eq1 f) => Eq (TAFResultT f a) Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

Methods

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

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

(Show a, Show1 f) => Show (TAFResultT f a) Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

Methods

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

show :: TAFResultT f a -> String #

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

Monad f => Semigroup (TAFResultT f a) Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

Methods

(<>) :: TAFResultT f a -> TAFResultT f a -> TAFResultT f a #

sconcat :: NonEmpty (TAFResultT f a) -> TAFResultT f a #

stimes :: Integral b => b -> TAFResultT f a -> TAFResultT f a #

Wrapped (TAFResultT f a) Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

Associated Types

type Unwrapped (TAFResultT f a) :: * #

Methods

_Wrapped' :: Iso' (TAFResultT f a) (Unwrapped (TAFResultT f a)) #

TAFResultT f1 a1 ~ t => Rewrapped (TAFResultT f2 a2) t Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

HasTAFResultT (TAFResultT f a) f a Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

type Unwrapped (TAFResultT f a) Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT

type Unwrapped (TAFResultT f a) = f (TAFResult a)

class HasTAFResultT c f a | c -> f a where Source #

Minimal complete definition

tAFResultT

Methods

tAFResultT :: Lens' c (TAFResultT f a) Source #

Instances
HasTAFResultT (TAFResultT f a) f a Source # 
Instance details

Defined in Data.Aviation.Metar.TAFResultT