Safe Haskell	None
Language	Haskell2010

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) :: Type # 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 Methods tAFResultT :: Lens' (TAFResultT f a) (TAFResultT f a) Source #
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 #

Methods

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

Instances

HasTAFResultT (TAFResultT f a) f a Source #
Instance details Defined in Data.Aviation.Metar.TAFResultT Methods tAFResultT :: Lens' (TAFResultT f a) (TAFResultT f a) Source #