Data.Aviation.Metar.TAFResultT

Documentation

newtype TAFResultT f a

Constructors

TAFResultT (f (TAFResult a))

Instances

MonadTrans TAFResultT

Defined in Data.Aviation.Metar.TAFResultT

Methods

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

Monad f => Monad (TAFResultT f)

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)

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)

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)

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)

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)

Defined in Data.Aviation.Metar.TAFResultT

Methods

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

Show1 f => Show1 (TAFResultT f)

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)

Defined in Data.Aviation.Metar.TAFResultT

Methods

liftIO :: IO a -> TAFResultT f a

Monad f => Apply (TAFResultT f)

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)

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)

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)

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)

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)

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)

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)

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

Defined in Data.Aviation.Metar.TAFResultT

HasTAFResultT (TAFResultT f a) f a

Defined in Data.Aviation.Metar.TAFResultT

Methods

tAFResultT :: Lens' (TAFResultT f a) (TAFResultT f a)

type Unwrapped (TAFResultT f a)

Defined in Data.Aviation.Metar.TAFResultT

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

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

Methods

tAFResultT :: Lens' c (TAFResultT f a)

Instances

HasTAFResultT (TAFResultT f a) f a

Defined in Data.Aviation.Metar.TAFResultT

Methods

tAFResultT :: Lens' (TAFResultT f a) (TAFResultT f a)