aip-0.1.1: Aeronautical Information Package (AIP)

Safe HaskellNone
LanguageHaskell2010

Data.Aviation.Aip.AipCon

Documentation

newtype AipCon a Source #

Constructors

AipCon (Bool -> ExceptT ConnErrorHttp4xx IO a) 
Instances
Monad AipCon Source # 
Instance details

Defined in Data.Aviation.Aip.AipCon

Methods

(>>=) :: AipCon a -> (a -> AipCon b) -> AipCon b #

(>>) :: AipCon a -> AipCon b -> AipCon b #

return :: a -> AipCon a #

fail :: String -> AipCon a #

Functor AipCon Source # 
Instance details

Defined in Data.Aviation.Aip.AipCon

Methods

fmap :: (a -> b) -> AipCon a -> AipCon b #

(<$) :: a -> AipCon b -> AipCon a #

Applicative AipCon Source # 
Instance details

Defined in Data.Aviation.Aip.AipCon

Methods

pure :: a -> AipCon a #

(<*>) :: AipCon (a -> b) -> AipCon a -> AipCon b #

liftA2 :: (a -> b -> c) -> AipCon a -> AipCon b -> AipCon c #

(*>) :: AipCon a -> AipCon b -> AipCon b #

(<*) :: AipCon a -> AipCon b -> AipCon a #

MonadIO AipCon Source # 
Instance details

Defined in Data.Aviation.Aip.AipCon

Methods

liftIO :: IO a -> AipCon a #

MonadThrow AipCon Source # 
Instance details

Defined in Data.Aviation.Aip.AipCon

Methods

throwM :: Exception e => e -> AipCon a #

MonadCatch AipCon Source # 
Instance details

Defined in Data.Aviation.Aip.AipCon

Methods

catch :: Exception e => AipCon a -> (e -> AipCon a) -> AipCon a #

Wrapped (AipCon x) Source # 
Instance details

Defined in Data.Aviation.Aip.AipCon

Associated Types

type Unwrapped (AipCon x) :: * #

Methods

_Wrapped' :: Iso' (AipCon x) (Unwrapped (AipCon x)) #

AipCon a ~ r => Rewrapped (AipCon b) r Source # 
Instance details

Defined in Data.Aviation.Aip.AipCon

type Unwrapped (AipCon x) Source # 
Instance details

Defined in Data.Aviation.Aip.AipCon

type Unwrapped (AipCon x) = Bool -> ExceptT ConnErrorHttp4xx IO x

islog :: AipCon Bool Source #