Data.Aviation.Aip.AipCon

Documentation

newtype AipCon a

Constructors

AipCon (Bool -> ExceptT ConnErrorHttp4xx IO a)

Instances

Monad AipCon

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

Defined in Data.Aviation.Aip.AipCon

Methods

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

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

Applicative AipCon

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

Defined in Data.Aviation.Aip.AipCon

Methods

liftIO :: IO a -> AipCon a

MonadThrow AipCon

Defined in Data.Aviation.Aip.AipCon

Methods

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

MonadCatch AipCon

Defined in Data.Aviation.Aip.AipCon

Methods

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

Wrapped (AipCon x)

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

Defined in Data.Aviation.Aip.AipCon

type Unwrapped (AipCon x)

Defined in Data.Aviation.Aip.AipCon

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

islog :: AipCon Bool