Safe Haskell	None
Language	Haskell2010

Shpadoinkle.Isreal.Types

Documentation

data Options Source #

Constructors

Options
Fields territory :: FilePath swan :: FilePath

Instances

Eq Options Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods (==) :: Options -> Options -> Bool Source # (/=) :: Options -> Options -> Bool Source #
Ord Options Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods compare :: Options -> Options -> Ordering Source # (<) :: Options -> Options -> Bool Source # (<=) :: Options -> Options -> Bool Source # (>) :: Options -> Options -> Bool Source # (>=) :: Options -> Options -> Bool Source # max :: Options -> Options -> Options Source # min :: Options -> Options -> Options Source #
Show Options Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods showsPrec :: Int -> Options -> ShowS Source # show :: Options -> String Source # showList :: [Options] -> ShowS Source #
Generic Options Source #
Instance details Defined in Shpadoinkle.Isreal.Types Associated Types type Rep Options :: Type -> Type Source # Methods from :: Options -> Rep Options x Source # to :: Rep Options x -> Options Source #
type Rep Options Source #
Instance details Defined in Shpadoinkle.Isreal.Types type Rep Options = D1 (MetaData "Options" "Shpadoinkle.Isreal.Types" "Shpadoinkle-isreal-0.0.0.2-LWUFhCYLoE11RDEVmr2eoj" False) (C1 (MetaCons "Options" PrefixI True) (S1 (MetaSel (Just "territory") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath) :*: S1 (MetaSel (Just "swan") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath)))

newtype CompileError Source #

Constructors

CompileError
Fields unCompileError :: Text

Instances

Eq CompileError Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods (==) :: CompileError -> CompileError -> Bool Source # (/=) :: CompileError -> CompileError -> Bool Source #
Ord CompileError Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods compare :: CompileError -> CompileError -> Ordering Source # (<) :: CompileError -> CompileError -> Bool Source # (<=) :: CompileError -> CompileError -> Bool Source # (>) :: CompileError -> CompileError -> Bool Source # (>=) :: CompileError -> CompileError -> Bool Source # max :: CompileError -> CompileError -> CompileError Source # min :: CompileError -> CompileError -> CompileError Source #
Read CompileError Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods readsPrec :: Int -> ReadS CompileError Source # readList :: ReadS [CompileError] Source # readPrec :: ReadPrec CompileError Source # readListPrec :: ReadPrec [CompileError] Source #
Show CompileError Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods showsPrec :: Int -> CompileError -> ShowS Source # show :: CompileError -> String Source # showList :: [CompileError] -> ShowS Source #
Generic CompileError Source #
Instance details Defined in Shpadoinkle.Isreal.Types Associated Types type Rep CompileError :: Type -> Type Source # Methods from :: CompileError -> Rep CompileError x Source # to :: Rep CompileError x -> CompileError Source #
ToJSON CompileError Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods toJSON :: CompileError -> Value Source # toEncoding :: CompileError -> Encoding Source # toJSONList :: [CompileError] -> Value Source # toEncodingList :: [CompileError] -> Encoding Source #
FromJSON CompileError Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods parseJSON :: Value -> Parser CompileError Source # parseJSONList :: Value -> Parser [CompileError] Source #
NFData CompileError Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods rnf :: CompileError -> () Source #
type Rep CompileError Source #
Instance details Defined in Shpadoinkle.Isreal.Types type Rep CompileError = D1 (MetaData "CompileError" "Shpadoinkle.Isreal.Types" "Shpadoinkle-isreal-0.0.0.2-LWUFhCYLoE11RDEVmr2eoj" True) (C1 (MetaCons "CompileError" PrefixI True) (S1 (MetaSel (Just "unCompileError") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

newtype Code Source #

Constructors

Code
Fields unCode :: ByteString

Instances

Eq Code Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods (==) :: Code -> Code -> Bool Source # (/=) :: Code -> Code -> Bool Source #
Ord Code Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods compare :: Code -> Code -> Ordering Source # (<) :: Code -> Code -> Bool Source # (<=) :: Code -> Code -> Bool Source # (>) :: Code -> Code -> Bool Source # (>=) :: Code -> Code -> Bool Source # max :: Code -> Code -> Code Source # min :: Code -> Code -> Code Source #
Read Code Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods readsPrec :: Int -> ReadS Code Source # readList :: ReadS [Code] Source # readPrec :: ReadPrec Code Source # readListPrec :: ReadPrec [Code] Source #
Show Code Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods showsPrec :: Int -> Code -> ShowS Source # show :: Code -> String Source # showList :: [Code] -> ShowS Source #
Generic Code Source #
Instance details Defined in Shpadoinkle.Isreal.Types Associated Types type Rep Code :: Type -> Type Source # Methods from :: Code -> Rep Code x Source # to :: Rep Code x -> Code Source #
ToJSON Code Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods toJSON :: Code -> Value Source # toEncoding :: Code -> Encoding Source # toJSONList :: [Code] -> Value Source # toEncodingList :: [Code] -> Encoding Source #
FromJSON Code Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods parseJSON :: Value -> Parser Code Source # parseJSONList :: Value -> Parser [Code] Source #
NFData Code Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods rnf :: Code -> () Source #
MimeRender OctetStream Code Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods mimeRender :: Proxy OctetStream -> Code -> ByteString Source #
MimeUnrender OctetStream Code Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods mimeUnrender :: Proxy OctetStream -> ByteString -> Either String Code Source # mimeUnrenderWithType :: Proxy OctetStream -> MediaType -> ByteString -> Either String Code Source #
type Rep Code Source #
Instance details Defined in Shpadoinkle.Isreal.Types type Rep Code = D1 (MetaData "Code" "Shpadoinkle.Isreal.Types" "Shpadoinkle-isreal-0.0.0.2-LWUFhCYLoE11RDEVmr2eoj" True) (C1 (MetaCons "Code" PrefixI True) (S1 (MetaSel (Just "unCode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

data SnowToken Source #

Instances

Eq SnowToken Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods (==) :: SnowToken -> SnowToken -> Bool Source # (/=) :: SnowToken -> SnowToken -> Bool Source #
Ord SnowToken Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods compare :: SnowToken -> SnowToken -> Ordering Source # (<) :: SnowToken -> SnowToken -> Bool Source # (<=) :: SnowToken -> SnowToken -> Bool Source # (>) :: SnowToken -> SnowToken -> Bool Source # (>=) :: SnowToken -> SnowToken -> Bool Source # max :: SnowToken -> SnowToken -> SnowToken Source # min :: SnowToken -> SnowToken -> SnowToken Source #
Read SnowToken Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods readsPrec :: Int -> ReadS SnowToken Source # readList :: ReadS [SnowToken] Source # readPrec :: ReadPrec SnowToken Source # readListPrec :: ReadPrec [SnowToken] Source #
Show SnowToken Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods showsPrec :: Int -> SnowToken -> ShowS Source # show :: SnowToken -> String Source # showList :: [SnowToken] -> ShowS Source #
Generic SnowToken Source #
Instance details Defined in Shpadoinkle.Isreal.Types Associated Types type Rep SnowToken :: Type -> Type Source # Methods from :: SnowToken -> Rep SnowToken x Source # to :: Rep SnowToken x -> SnowToken Source #
ToJSON SnowToken Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods toJSON :: SnowToken -> Value Source # toEncoding :: SnowToken -> Encoding Source # toJSONList :: [SnowToken] -> Value Source # toEncodingList :: [SnowToken] -> Encoding Source #
FromJSON SnowToken Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods parseJSON :: Value -> Parser SnowToken Source # parseJSONList :: Value -> Parser [SnowToken] Source #
NFData SnowToken Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods rnf :: SnowToken -> () Source #
ToHttpApiData SnowToken Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods toUrlPiece :: SnowToken -> Text Source # toEncodedUrlPiece :: SnowToken -> Builder Source # toHeader :: SnowToken -> ByteString Source # toQueryParam :: SnowToken -> Text Source #
FromHttpApiData SnowToken Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods parseUrlPiece :: Text -> Either Text SnowToken Source # parseHeader :: ByteString -> Either Text SnowToken Source # parseQueryParam :: Text -> Either Text SnowToken Source #
type Rep SnowToken Source #
Instance details Defined in Shpadoinkle.Isreal.Types type Rep SnowToken = D1 (MetaData "SnowToken" "Shpadoinkle.Isreal.Types" "Shpadoinkle-isreal-0.0.0.2-LWUFhCYLoE11RDEVmr2eoj" True) (C1 (MetaCons "SnowToken" PrefixI True) (S1 (MetaSel (Just "unSnowToken") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

unSnowToken :: SnowToken -> Text Source #

genSnowToken :: IO SnowToken Source #

type API = ("echo" :> (Capture "echo" Text :> Get '[PlainText] Text)) :<|> (("compile" :> (Capture "token" SnowToken :> (QueryParam' '[Required] "nonce" SnowNonce :> (ReqBody '[OctetStream] Code :> Post '[JSON] (Either CompileError Text))))) :<|> (("clean" :> (Capture "token" SnowToken :> Delete '[JSON, PlainText] Text)) :<|> (("clean-all" :> Delete '[JSON, PlainText] Text) :<|> (("serve" :> (Capture "token" SnowToken :> Raw)) :<|> Get '[PlainText] Text)))) Source #

serve :: SnowToken -> Link Source #

newtype SnowNonce Source #

Constructors

SnowNonce
Fields unSnowNonce :: Int

Instances

Eq SnowNonce Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods (==) :: SnowNonce -> SnowNonce -> Bool Source # (/=) :: SnowNonce -> SnowNonce -> Bool Source #
Num SnowNonce Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods (+) :: SnowNonce -> SnowNonce -> SnowNonce Source # (-) :: SnowNonce -> SnowNonce -> SnowNonce Source # (*) :: SnowNonce -> SnowNonce -> SnowNonce Source # negate :: SnowNonce -> SnowNonce Source # abs :: SnowNonce -> SnowNonce Source # signum :: SnowNonce -> SnowNonce Source # fromInteger :: Integer -> SnowNonce Source #
Ord SnowNonce Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods compare :: SnowNonce -> SnowNonce -> Ordering Source # (<) :: SnowNonce -> SnowNonce -> Bool Source # (<=) :: SnowNonce -> SnowNonce -> Bool Source # (>) :: SnowNonce -> SnowNonce -> Bool Source # (>=) :: SnowNonce -> SnowNonce -> Bool Source # max :: SnowNonce -> SnowNonce -> SnowNonce Source # min :: SnowNonce -> SnowNonce -> SnowNonce Source #
Read SnowNonce Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods readsPrec :: Int -> ReadS SnowNonce Source # readList :: ReadS [SnowNonce] Source # readPrec :: ReadPrec SnowNonce Source # readListPrec :: ReadPrec [SnowNonce] Source #
Show SnowNonce Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods showsPrec :: Int -> SnowNonce -> ShowS Source # show :: SnowNonce -> String Source # showList :: [SnowNonce] -> ShowS Source #
Generic SnowNonce Source #
Instance details Defined in Shpadoinkle.Isreal.Types Associated Types type Rep SnowNonce :: Type -> Type Source # Methods from :: SnowNonce -> Rep SnowNonce x Source # to :: Rep SnowNonce x -> SnowNonce Source #
ToJSON SnowNonce Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods toJSON :: SnowNonce -> Value Source # toEncoding :: SnowNonce -> Encoding Source # toJSONList :: [SnowNonce] -> Value Source # toEncodingList :: [SnowNonce] -> Encoding Source #
FromJSON SnowNonce Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods parseJSON :: Value -> Parser SnowNonce Source # parseJSONList :: Value -> Parser [SnowNonce] Source #
NFData SnowNonce Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods rnf :: SnowNonce -> () Source #
ToHttpApiData SnowNonce Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods toUrlPiece :: SnowNonce -> Text Source # toEncodedUrlPiece :: SnowNonce -> Builder Source # toHeader :: SnowNonce -> ByteString Source # toQueryParam :: SnowNonce -> Text Source #
FromHttpApiData SnowNonce Source #
Instance details Defined in Shpadoinkle.Isreal.Types Methods parseUrlPiece :: Text -> Either Text SnowNonce Source # parseHeader :: ByteString -> Either Text SnowNonce Source # parseQueryParam :: Text -> Either Text SnowNonce Source #
type Rep SnowNonce Source #
Instance details Defined in Shpadoinkle.Isreal.Types type Rep SnowNonce = D1 (MetaData "SnowNonce" "Shpadoinkle.Isreal.Types" "Shpadoinkle-isreal-0.0.0.2-LWUFhCYLoE11RDEVmr2eoj" True) (C1 (MetaCons "SnowNonce" PrefixI True) (S1 (MetaSel (Just "unSnowNonce") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))