DogApi_GetByDay :: Day -> DogApi [Dog]
DogApi_GetByName :: Text -> DogApi [Dog]
DogApi_GetLastSeen :: DogApi (Maybe Dog)
DogApi_ReportSighting :: Text -> Bool -> Maybe Text -> DogApi (Either Text ())
DogApi_GetSuspiciousSightings :: DogApi [Dog]

Instances

Instances details

(c [Dog], c [Dog], c (Maybe Dog), c (Either Text ()), c [Dog]) => Has (c :: Type -> Constraint) DogApi Source #
Instance details Defined in Readme Methods has :: DogApi a -> (c a => r) -> r # argDict :: DogApi a -> Dict (c a) #
ToJSON Text => ToJSON (DogApi a) Source #
Instance details Defined in Readme Methods toJSON :: DogApi a -> Value # toEncoding :: DogApi a -> Encoding # toJSONList :: [DogApi a] -> Value # toEncodingList :: [DogApi a] -> Encoding # omitField :: DogApi a -> Bool #
FromJSON Text => FromJSON (Some DogApi) Source #
Instance details Defined in Readme Methods parseJSON :: Value -> Parser (Some DogApi) # parseJSONList :: Value -> Parser [Some DogApi] # omittedField :: Maybe (Some DogApi) #

newtype Token Source #

Constructors

Token
Fields unToken :: Text

Instances

Instances details

FromJSON Token Source #

Instance details

Defined in Readme

Methods

parseJSON :: Value -> Parser Token #

parseJSONList :: Value -> Parser [Token] #

omittedField :: Maybe Token #

ToJSON Token Source #

Instance details

Defined in Readme

Methods

toJSON :: Token -> Value #

toEncoding :: Token -> Encoding #

toJSONList :: [Token] -> Value #

toEncodingList :: [Token] -> Encoding #

omitField :: Token -> Bool #

Generic Token Source #

Instance details

Defined in Readme

Associated Types

type Rep Token
Instance details Defined in Readme type Rep Token = D1 ('MetaData "Token" "Readme" "reflex-gadt-api-0.2.2.3-inplace" 'True) (C1 ('MetaCons "Token" 'PrefixI 'True) (S1 ('MetaSel ('Just "unToken") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: Token -> Rep Token x #

to :: Rep Token x -> Token #

type Rep Token Source #

Instance details

Defined in Readme

type Rep Token = D1 ('MetaData "Token" "Readme" "reflex-gadt-api-0.2.2.3-inplace" 'True) (C1 ('MetaCons "Token" 'PrefixI 'True) (S1 ('MetaSel ('Just "unToken") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data CatApi a where Source #

Constructors

CatApi_Identify :: Text -> CatApi (Either Text Token)
CatApi_DogApi :: forall a. Token -> DogApi a -> CatApi a

Instances

Instances details

(c (Either Text Token), Has c DogApi) => Has (c :: Type -> Constraint) CatApi Source #
Instance details Defined in Readme Methods has :: CatApi a -> (c a => r) -> r # argDict :: CatApi a -> Dict (c a) #
ToJSON Text => ToJSON (CatApi a) Source #
Instance details Defined in Readme Methods toJSON :: CatApi a -> Value # toEncoding :: CatApi a -> Encoding # toJSONList :: [CatApi a] -> Value # toEncodingList :: [CatApi a] -> Encoding # omitField :: CatApi a -> Bool #
FromJSON Text => FromJSON (Some CatApi) Source #
Instance details Defined in Readme Methods parseJSON :: Value -> Parser (Some CatApi) # parseJSONList :: Value -> Parser [Some CatApi] # omittedField :: Maybe (Some CatApi) #

type Catnet t (m :: Type -> Type) = RequesterT t CatApi (Either Text) m Source #

startCatnet :: (Prerender t m, MonadHold t m, MonadIO (Performable m), MonadFix m, DomBuilder t m, PostBuild t m, TriggerEvent t m, PerformEvent t m, Has FromJSON CatApi, forall a. ToJSON (CatApi a)) => Either ApiEndpoint WebSocketEndpoint -> m () Source #

requestingJs :: forall t (m :: Type -> Type) a. (Reflex t, MonadFix m, Prerender t m) => Event t (Request (Client (Catnet t m)) a) -> Catnet t m (Event t (Response (Client (Catnet t m)) a)) Source #

login :: forall t (m :: Type -> Type). (DomBuilder t m, MonadHold t m, MonadFix m, Prerender t m) => Catnet t m (Event t Token) Source #

catnet :: forall t (m :: Type -> Type). (DomBuilder t m, MonadHold t m, MonadFix m, Prerender t m) => Token -> Catnet t m (Event t ()) Source #

showDog :: DomBuilder t m => Dog -> m () Source #

dogSighting :: forall t (m :: Type -> Type). (DomBuilder t m, MonadHold t m, PostBuild t m, Prerender t m, MonadFix m) => Token -> Catnet t m (Event t (Either Text ())) Source #

main :: IO () Source #