Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- newtype FactID = FactID {}
- factIdFromString :: String -> Maybe FactID
- type API = NamedRoutes FactRoutes
- data FactRoutes mode = FactRoutes {}
- data CreateFactV1 = CreateFact {
- fact :: !Value
- artifact :: !(Maybe ByteString)
- data FactV1 = Fact {}
Documentation
Instances
FromJSON FactID Source # | |
ToJSON FactID Source # | |
Defined in IOHK.Cicero.API.Fact | |
Eq FactID Source # | |
Ord FactID Source # | |
ToHttpApiData FactID Source # | |
Defined in IOHK.Cicero.API.Fact toUrlPiece :: FactID -> Text # toEncodedUrlPiece :: FactID -> Builder # toHeader :: FactID -> ByteString # toQueryParam :: FactID -> Text # |
type API = NamedRoutes FactRoutes Source #
data FactRoutes mode Source #
Fact routes in the Cicero API
Instances
Generic (FactRoutes mode) Source # | |
Defined in IOHK.Cicero.API.Fact type Rep (FactRoutes mode) :: Type -> Type # from :: FactRoutes mode -> Rep (FactRoutes mode) x # to :: Rep (FactRoutes mode) x -> FactRoutes mode # | |
type Rep (FactRoutes mode) Source # | |
Defined in IOHK.Cicero.API.Fact type Rep (FactRoutes mode) = D1 ('MetaData "FactRoutes" "IOHK.Cicero.API.Fact" "cicero-api-0.1.1.3-IBOneHfrhNLHE3ibncoqJp" 'False) (C1 ('MetaCons "FactRoutes" 'PrefixI 'True) (S1 ('MetaSel ('Just "create") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mode :- (ReqBody '[OctetStream] CreateFactV1 :> Post '[JSON] FactV1))) :*: S1 ('MetaSel ('Just "getAll") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mode :- (QueryParam' '[Required, Strict] "run" RunID :> Get '[JSON] [FactV1]))))) |
data CreateFactV1 Source #
CreateFact | |
|
Instances
MimeRender OctetStream CreateFactV1 Source # | This instance assumes that |
Defined in IOHK.Cicero.API.Fact mimeRender :: Proxy OctetStream -> CreateFactV1 -> ByteString # |