fluid-idl 0.0.5 → 0.0.6
raw patch · 4 files changed
+24/−11 lines, 4 filesdep +blaze-markupPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies added: blaze-markup
API changes (from Hackage documentation)
+ Fluid.Ast: [$sel:args:FnCall] :: FnCall -> [Ast]
+ Fluid.Ast: [$sel:args:Lambda] :: Lambda -> [(Symbol, Type)]
+ Fluid.Ast: [$sel:cases:Match] :: Match -> [MatchCase]
+ Fluid.Ast: [$sel:cond:If] :: If -> Ast
+ Fluid.Ast: [$sel:dest:Set] :: Set -> Ast
+ Fluid.Ast: [$sel:e:EnumerationCall] :: EnumerationCall -> Ast
+ Fluid.Ast: [$sel:enumeral:Match] :: Match -> Ast
+ Fluid.Ast: [$sel:expr:Define] :: Define -> Ast
+ Fluid.Ast: [$sel:expr:Lambda] :: Lambda -> Ast
+ Fluid.Ast: [$sel:false:If] :: If -> Ast
+ Fluid.Ast: [$sel:fn:FnCall] :: FnCall -> Ast
+ Fluid.Ast: [$sel:list:List] :: List -> [Ast]
+ Fluid.Ast: [$sel:m:Enumeral] :: Enumeral -> Maybe (Map MemberName Ast)
+ Fluid.Ast: [$sel:m:StructCall] :: StructCall -> Ast
+ Fluid.Ast: [$sel:m:Struct] :: Struct -> Map MemberName Ast
+ Fluid.Ast: [$sel:n:EnumerationCall] :: EnumerationCall -> TypeName
+ Fluid.Ast: [$sel:n:HollowCall] :: HollowCall -> TypeName
+ Fluid.Ast: [$sel:n:StructCall] :: StructCall -> TypeName
+ Fluid.Ast: [$sel:n:WrapCall] :: WrapCall -> TypeName
+ Fluid.Ast: [$sel:none:Iflet] :: Iflet -> Ast
+ Fluid.Ast: [$sel:option:Iflet] :: Iflet -> Ast
+ Fluid.Ast: [$sel:path:Get] :: Get -> [Text]
+ Fluid.Ast: [$sel:path:Set] :: Set -> [Text]
+ Fluid.Ast: [$sel:some:Iflet] :: Iflet -> Ast
+ Fluid.Ast: [$sel:src:Set] :: Set -> Ast
+ Fluid.Ast: [$sel:symbol:Iflet] :: Iflet -> Symbol
+ Fluid.Ast: [$sel:symbol:Ref] :: Ref -> Symbol
+ Fluid.Ast: [$sel:tag:Enumeral] :: Enumeral -> EnumeralName
+ Fluid.Ast: [$sel:true:If] :: If -> Ast
+ Fluid.Ast: [$sel:tuple:Tuple] :: Tuple -> [Ast]
+ Fluid.Ast: [$sel:val:Get] :: Get -> Ast
+ Fluid.Ast: [$sel:vals:Do] :: Do -> [Ast]
+ Fluid.Ast: [$sel:var:Define] :: Define -> Symbol
+ Fluid.Ast: [$sel:w:WrapCall] :: WrapCall -> Ast
+ Fluid.Ast: [$sel:w:Wrap] :: Wrap -> Ast
+ Fluid.Client.Exchange: [$sel:fluid:Request] :: Request meta a -> Version
+ Fluid.Client.Exchange: [$sel:meta:Request] :: Request meta a -> meta
+ Fluid.Client.Exchange: [$sel:query:Request] :: Request meta a -> Expr a
+ Fluid.Client.Exchange: [$sel:version:Request] :: Request meta a -> Version
+ Fluid.Server.Exchange: [$sel:meta:Request] :: Request -> Value
+ Fluid.Server.Exchange: [$sel:query:Request] :: Request -> Value
+ Fluid.Server.Expr: [$sel:apiCall:EvalConfig] :: EvalConfig m -> ApiCall -> m Val
+ Fluid.Server.Expr: [$sel:args:FnCall] :: FnCall m -> [Expr m]
+ Fluid.Server.Expr: [$sel:cases:Match] :: Match m -> Map EnumeralName (MatchCase m)
+ Fluid.Server.Expr: [$sel:cond:If] :: If m -> Expr m
+ Fluid.Server.Expr: [$sel:e:EnumerationUnCall] :: EnumerationUnCall m -> Expr m
+ Fluid.Server.Expr: [$sel:enumeral:Match] :: Match m -> Expr m
+ Fluid.Server.Expr: [$sel:enumeration:ApiParser] :: ApiParser api -> Map TypeName (Val -> Maybe api)
+ Fluid.Server.Expr: [$sel:expr:Define] :: Define m -> Expr m
+ Fluid.Server.Expr: [$sel:expr:Get] :: Get m -> Expr m
+ Fluid.Server.Expr: [$sel:expr:Lambda] :: Lambda m -> Expr m
+ Fluid.Server.Expr: [$sel:exprs:Do] :: Do m -> [Expr m]
+ Fluid.Server.Expr: [$sel:false:If] :: If m -> Expr m
+ Fluid.Server.Expr: [$sel:fn:FnCall] :: FnCall m -> Expr m
+ Fluid.Server.Expr: [$sel:hollow:ApiParser] :: ApiParser api -> Map TypeName api
+ Fluid.Server.Expr: [$sel:langExprCount:EvalConfig] :: EvalConfig m -> IORef Int
+ Fluid.Server.Expr: [$sel:langLambdaCount:EvalConfig] :: EvalConfig m -> IORef Int
+ Fluid.Server.Expr: [$sel:langServiceCallCount:EvalConfig] :: EvalConfig m -> IORef Int
+ Fluid.Server.Expr: [$sel:limits:EvalConfig] :: EvalConfig m -> Limits
+ Fluid.Server.Expr: [$sel:list:List] :: List m -> [Expr m]
+ Fluid.Server.Expr: [$sel:m:Enumeral] :: Enumeral -> Maybe (Map MemberName Val)
+ Fluid.Server.Expr: [$sel:m:StructUnCall] :: StructUnCall m -> Expr m
+ Fluid.Server.Expr: [$sel:m:Struct] :: Struct -> Map MemberName Val
+ Fluid.Server.Expr: [$sel:m:UnEnumeral] :: UnEnumeral m -> Maybe (Map MemberName (Expr m))
+ Fluid.Server.Expr: [$sel:m:UnStruct] :: UnStruct m -> Map MemberName (Expr m)
+ Fluid.Server.Expr: [$sel:n:EnumerationUnCall] :: EnumerationUnCall m -> TypeName
+ Fluid.Server.Expr: [$sel:n:HollowUnCall] :: HollowUnCall -> TypeName
+ Fluid.Server.Expr: [$sel:n:StructUnCall] :: StructUnCall m -> TypeName
+ Fluid.Server.Expr: [$sel:n:WrapUnCall] :: WrapUnCall m -> TypeName
+ Fluid.Server.Expr: [$sel:none:Iflet] :: Iflet m -> Expr m
+ Fluid.Server.Expr: [$sel:option:Iflet] :: Iflet m -> Expr m
+ Fluid.Server.Expr: [$sel:params:Lambda] :: Lambda m -> [(Symbol, Type)]
+ Fluid.Server.Expr: [$sel:path:Get] :: Get m -> [Text]
+ Fluid.Server.Expr: [$sel:some:Iflet] :: Iflet m -> Expr m
+ Fluid.Server.Expr: [$sel:struct:ApiParser] :: ApiParser api -> Map TypeName (Val -> Maybe api)
+ Fluid.Server.Expr: [$sel:symbol:Iflet] :: Iflet m -> Symbol
+ Fluid.Server.Expr: [$sel:symbol:Ref] :: Ref -> Symbol
+ Fluid.Server.Expr: [$sel:tag:Enumeral] :: Enumeral -> EnumeralName
+ Fluid.Server.Expr: [$sel:tag:UnEnumeral] :: UnEnumeral m -> EnumeralName
+ Fluid.Server.Expr: [$sel:true:If] :: If m -> Expr m
+ Fluid.Server.Expr: [$sel:var:Define] :: Define m -> Symbol
+ Fluid.Server.Expr: [$sel:w:UnWrap] :: UnWrap m -> Expr m
+ Fluid.Server.Expr: [$sel:w:WrapUnCall] :: WrapUnCall m -> Expr m
+ Fluid.Server.Expr: [$sel:w:Wrap] :: Wrap -> Val
+ Fluid.Server.Expr: [$sel:wrap:ApiParser] :: ApiParser api -> Map TypeName (Val -> Maybe api)
+ Fluid.ServiceThrower: [$sel:unThrownValue:ThrownValue] :: ThrownValue -> Value
+ Fluid.ServiceThrower: mayServiceThrow :: (ServiceThrower m, MonadCatch m) => m a -> m (Maybe a)
+ Fluid.Types: [$sel:expressions:Limits] :: Limits -> Maybe Int
+ Fluid.Types: [$sel:host:Pull] :: Pull -> Text
+ Fluid.Types: [$sel:lambdas:Limits] :: Limits -> Maybe Int
+ Fluid.Types: [$sel:major:Version] :: Version -> Major
+ Fluid.Types: [$sel:metaMiddleware:Hooks] :: Hooks m meta meta' -> meta -> m meta'
+ Fluid.Types: [$sel:minor:Version] :: Version -> Minor
+ Fluid.Types: [$sel:n:Type] :: Type -> TypeName
+ Fluid.Types: [$sel:o:Type] :: Type -> Maybe Type
+ Fluid.Types: [$sel:p:Type] :: Type -> [Type]
+ Fluid.Types: [$sel:path:Pull] :: Pull -> Text
+ Fluid.Types: [$sel:port:Pull] :: Pull -> Int
+ Fluid.Types: [$sel:protocol:Pull] :: Pull -> Text
+ Fluid.Types: [$sel:sandboxLimits:Hooks] :: Hooks m meta meta' -> meta' -> m Limits
+ Fluid.Types: [$sel:serviceCalls:Limits] :: Limits -> Maybe Int
+ Fluid.Types: [$sel:variables:Limits] :: Limits -> Maybe Int
+ Fluid.Val: [$sel:m:Enumeral] :: Enumeral -> Maybe (Map MemberName Val)
+ Fluid.Val: [$sel:m:Struct] :: Struct -> Map MemberName Val
+ Fluid.Val: [$sel:tag:Enumeral] :: Enumeral -> EnumeralName
+ Fluid.Val: [$sel:w:Wrap] :: Wrap -> Val
- Fluid.Client.Expr: class (HasType a, ToAst a) => ToExpr a where ex = Expr . toAst
+ Fluid.Client.Expr: class (HasType a, ToAst a) => ToExpr a
- Fluid.ServiceThrower: class MonadThrow m => ServiceThrower m where serviceThrow err = throw (ThrownValue err)
+ Fluid.ServiceThrower: class MonadThrow m => ServiceThrower m
Files
- fluid-idl.cabal +14/−8
- library/Fluid/Imports.hs +2/−0
- library/Fluid/ServiceThrower.hs +4/−0
- package.yaml +4/−3
fluid-idl.cabal view
@@ -1,11 +1,13 @@--- This file has been generated from package.yaml by hpack version 0.17.1.+-- This file has been generated from package.yaml by hpack version 0.20.0. -- -- see: https://github.com/sol/hpack+--+-- hash: e2126e824f03606560a73bf27fee809d019e62c2592a9c4a529bbefb09183d78 name: fluid-idl-version: 0.0.5-synopsis: Fluid | The Programmatic IDL-description: Fluid | The Programmatic IDL+version: 0.0.6+synopsis: Code-generated, Auto-versioned, & Smart Web APIs+description: Code-generated, Auto-versioned, & Smart Web APIs category: Web maintainer: Joe Vargas license: BSD3@@ -24,7 +26,8 @@ ghc-options: -Wall build-depends: aeson- , base >= 4.7 && < 5+ , base >=4.7 && <5+ , blaze-markup , bytestring , containers , errors@@ -34,8 +37,8 @@ , monad-logger , mtl , random- , scientific , safe-exceptions+ , scientific , text , text-conversions , unordered-containers@@ -55,6 +58,8 @@ Fluid.ServiceThrower Fluid.Types Fluid.Val+ other-modules:+ Paths_fluid_idl default-language: Haskell2010 test-suite fluid-suite@@ -66,9 +71,9 @@ ghc-options: -Wall -rtsopts -threaded -with-rtsopts=-N build-depends: aeson- , base >= 4.7 && < 5- , fluid-idl+ , base >=4.7 && <5 , containers+ , fluid-idl , hspec , scientific , text@@ -78,4 +83,5 @@ ClientSpec ExprSpec ValSpec+ Paths_fluid_idl default-language: Haskell2010
library/Fluid/Imports.hs view
@@ -6,6 +6,7 @@ , module Data.Text.Conversions , module Data.ByteString.Lazy.Char8 , module Control.Exception.Safe+ , module Text.Blaze ) where import Data.Map (Map, fromList, toList, empty, size)@@ -15,3 +16,4 @@ import Data.Text (Text) import Data.Text.Conversions (ToText(..), FromText(..)) import Control.Exception.Safe (MonadThrow, MonadCatch, catch)+import Text.Blaze (ToMarkup(..))
library/Fluid/ServiceThrower.hs view
@@ -2,6 +2,7 @@ module Fluid.ServiceThrower ( ServiceThrower(..) , ThrownValue(..)+ , mayServiceThrow ) where import Control.Exception.Safe@@ -21,3 +22,6 @@ instance MonadThrow m => ServiceThrower (ExceptT Server.Response m) where serviceThrow = throwError . Server.Response'Error . Server.ResponseError'Service++mayServiceThrow :: (ServiceThrower m, MonadCatch m) => m a -> m (Maybe a)+mayServiceThrow m = catch (Just <$> m) (\(_ :: ThrownValue) -> return Nothing)
package.yaml view
@@ -1,8 +1,8 @@ name: fluid-idl-version: '0.0.5'+version: '0.0.6' category: Web-synopsis: Fluid | The Programmatic IDL-description: Fluid | The Programmatic IDL+synopsis: Code-generated, Auto-versioned, & Smart Web APIs+description: Code-generated, Auto-versioned, & Smart Web APIs maintainer: Joe Vargas license: BSD3 extra-source-files:@@ -32,6 +32,7 @@ - aeson - base >= 4.7 && < 5 - bytestring+ - blaze-markup - containers - errors - exceptions