Safe Haskell	None
Language	Haskell2010

Fluid.Server.Expr

Documentation

data Expr m Source #

Constructors

Expr'Ref Ref
Expr'UnVal (UnVal m)
Expr'Val Val
Expr'If (If m)
Expr'Iflet (Iflet m)
Expr'Get (Get m)
Expr'Set (Set m)
Expr'Match (Match m)
Expr'Define (Define m)
Expr'Lambda (Lambda m)
Expr'List (List m)
Expr'Tuple (Tuple m)
Expr'Fn (Fn m)
Expr'FnCall (FnCall m)
Expr'Do (Do m)
Expr'ApiUnCall (ApiUnCall m)

Instances

Eq (Expr m) Source #
Methods (==) :: Expr m -> Expr m -> Bool # (/=) :: Expr m -> Expr m -> Bool #
Show (Expr m) Source #
Methods showsPrec :: Int -> Expr m -> ShowS # show :: Expr m -> String # showList :: [Expr m] -> ShowS #

data EvalConfig m Source #

Constructors

EvalConfig
Fields limits :: Limits langServiceCallCount :: IORef Int langLambdaCount :: IORef Int langExprCount :: IORef Int apiCall :: ApiCall -> m Val

data Ref Source #

Constructors

Ref
Fields symbol :: Symbol

Instances

Eq Ref Source #
Methods (==) :: Ref -> Ref -> Bool # (/=) :: Ref -> Ref -> Bool #
Show Ref Source #
Methods showsPrec :: Int -> Ref -> ShowS # show :: Ref -> String # showList :: [Ref] -> ShowS #

data UnVal m Source #

Constructors

UnVal'Const Const
UnVal'UnWrap (UnWrap m)
UnVal'UnStruct (UnStruct m)
UnVal'UnEnumeral (UnEnumeral m)

Instances

Eq (UnVal m) Source #
Methods (==) :: UnVal m -> UnVal m -> Bool # (/=) :: UnVal m -> UnVal m -> Bool #
Show (UnVal m) Source #
Methods showsPrec :: Int -> UnVal m -> ShowS # show :: UnVal m -> String # showList :: [UnVal m] -> ShowS #

data UnEnumeral m Source #

Constructors

UnEnumeral
Fields tag :: EnumeralName m :: Maybe (Map MemberName (Expr m))

Instances

Eq (UnEnumeral m) Source #
Methods (==) :: UnEnumeral m -> UnEnumeral m -> Bool # (/=) :: UnEnumeral m -> UnEnumeral m -> Bool #
Show (UnEnumeral m) Source #
Methods showsPrec :: Int -> UnEnumeral m -> ShowS # show :: UnEnumeral m -> String # showList :: [UnEnumeral m] -> ShowS #

data UnWrap m Source #

Constructors

UnWrap
Fields w :: Expr m

Instances

Eq (UnWrap m) Source #
Methods (==) :: UnWrap m -> UnWrap m -> Bool # (/=) :: UnWrap m -> UnWrap m -> Bool #
Show (UnWrap m) Source #
Methods showsPrec :: Int -> UnWrap m -> ShowS # show :: UnWrap m -> String # showList :: [UnWrap m] -> ShowS #

data UnStruct m Source #

Constructors

UnStruct
Fields m :: Map MemberName (Expr m)

Instances

Eq (UnStruct m) Source #
Methods (==) :: UnStruct m -> UnStruct m -> Bool # (/=) :: UnStruct m -> UnStruct m -> Bool #
Show (UnStruct m) Source #
Methods showsPrec :: Int -> UnStruct m -> ShowS # show :: UnStruct m -> String # showList :: [UnStruct m] -> ShowS #

data If m Source #

Constructors

If
Fields cond :: Expr m true :: Expr m false :: Expr m

Instances

Eq (If m) Source #
Methods (==) :: If m -> If m -> Bool # (/=) :: If m -> If m -> Bool #
Show (If m) Source #
Methods showsPrec :: Int -> If m -> ShowS # show :: If m -> String # showList :: [If m] -> ShowS #

data Iflet m Source #

Constructors

Iflet
Fields symbol :: Symbol option :: Expr m some :: Expr m none :: Expr m

Instances

Eq (Iflet m) Source #
Methods (==) :: Iflet m -> Iflet m -> Bool # (/=) :: Iflet m -> Iflet m -> Bool #
Show (Iflet m) Source #
Methods showsPrec :: Int -> Iflet m -> ShowS # show :: Iflet m -> String # showList :: [Iflet m] -> ShowS #

data Get m Source #

Constructors

Get
Fields path :: [Text] expr :: Expr m

Instances

Eq (Get m) Source #
Methods (==) :: Get m -> Get m -> Bool # (/=) :: Get m -> Get m -> Bool #
Show (Get m) Source #
Methods showsPrec :: Int -> Get m -> ShowS # show :: Get m -> String # showList :: [Get m] -> ShowS #

data Define m Source #

Constructors

Define
Fields var :: Symbol expr :: Expr m

Instances

Eq (Define m) Source #
Methods (==) :: Define m -> Define m -> Bool # (/=) :: Define m -> Define m -> Bool #
Show (Define m) Source #
Methods showsPrec :: Int -> Define m -> ShowS # show :: Define m -> String # showList :: [Define m] -> ShowS #

data Match m Source #

Constructors

Match
Fields enumeral :: Expr m cases :: Map EnumeralName (MatchCase m)

Instances

Eq (Match m) Source #
Methods (==) :: Match m -> Match m -> Bool # (/=) :: Match m -> Match m -> Bool #
Show (Match m) Source #
Methods showsPrec :: Int -> Match m -> ShowS # show :: Match m -> String # showList :: [Match m] -> ShowS #

data MatchCase m Source #

Constructors

MatchCase'Tag (Expr m)
MatchCase'Members Symbol (Expr m)

Instances

Eq (MatchCase m) Source #
Methods (==) :: MatchCase m -> MatchCase m -> Bool # (/=) :: MatchCase m -> MatchCase m -> Bool #
Show (MatchCase m) Source #
Methods showsPrec :: Int -> MatchCase m -> ShowS # show :: MatchCase m -> String # showList :: [MatchCase m] -> ShowS #

data Lambda m Source #

Constructors

Lambda
Fields params :: [(Symbol, Type)] expr :: Expr m

Instances

Eq (Lambda m) Source #
Methods (==) :: Lambda m -> Lambda m -> Bool # (/=) :: Lambda m -> Lambda m -> Bool #
Show (Lambda m) Source #
Methods showsPrec :: Int -> Lambda m -> ShowS # show :: Lambda m -> String # showList :: [Lambda m] -> ShowS #

newtype Fn m Source #

Constructors

Fn ([Expr m] -> Eval m (Expr m))

Instances

Eq (Fn m) Source #
Methods (==) :: Fn m -> Fn m -> Bool # (/=) :: Fn m -> Fn m -> Bool #
Show (Fn m) Source #
Methods showsPrec :: Int -> Fn m -> ShowS # show :: Fn m -> String # showList :: [Fn m] -> ShowS #

data List m Source #

Constructors

List
Fields list :: [Expr m]

Instances

Eq (List m) Source #
Methods (==) :: List m -> List m -> Bool # (/=) :: List m -> List m -> Bool #
Show (List m) Source #
Methods showsPrec :: Int -> List m -> ShowS # show :: List m -> String # showList :: [List m] -> ShowS #

data Do m Source #

Constructors

Do
Fields exprs :: [Expr m]

Instances

Eq (Do m) Source #
Methods (==) :: Do m -> Do m -> Bool # (/=) :: Do m -> Do m -> Bool #
Show (Do m) Source #
Methods showsPrec :: Int -> Do m -> ShowS # show :: Do m -> String # showList :: [Do m] -> ShowS #

data FnCall m Source #

Constructors

FnCall
Fields fn :: Expr m args :: [Expr m]

Instances

Eq (FnCall m) Source #
Methods (==) :: FnCall m -> FnCall m -> Bool # (/=) :: FnCall m -> FnCall m -> Bool #
Show (FnCall m) Source #
Methods showsPrec :: Int -> FnCall m -> ShowS # show :: FnCall m -> String # showList :: [FnCall m] -> ShowS #

data ApiUnCall m Source #

Constructors

ApiUnCall'HollowUnCall HollowUnCall
ApiUnCall'WrapUnCall (WrapUnCall m)
ApiUnCall'StructUnCall (StructUnCall m)
ApiUnCall'EnumerationUnCall (EnumerationUnCall m)

Instances

Eq (ApiUnCall m) Source #
Methods (==) :: ApiUnCall m -> ApiUnCall m -> Bool # (/=) :: ApiUnCall m -> ApiUnCall m -> Bool #
Show (ApiUnCall m) Source #
Methods showsPrec :: Int -> ApiUnCall m -> ShowS # show :: ApiUnCall m -> String # showList :: [ApiUnCall m] -> ShowS #

data HollowUnCall Source #

Constructors

HollowUnCall
Fields n :: TypeName

Instances

Eq HollowUnCall Source #
Methods (==) :: HollowUnCall -> HollowUnCall -> Bool # (/=) :: HollowUnCall -> HollowUnCall -> Bool #
Show HollowUnCall Source #
Methods showsPrec :: Int -> HollowUnCall -> ShowS # show :: HollowUnCall -> String # showList :: [HollowUnCall] -> ShowS #

data WrapUnCall m Source #

Constructors

WrapUnCall
Fields n :: TypeName w :: Expr m

Instances

Eq (WrapUnCall m) Source #
Methods (==) :: WrapUnCall m -> WrapUnCall m -> Bool # (/=) :: WrapUnCall m -> WrapUnCall m -> Bool #
Show (WrapUnCall m) Source #
Methods showsPrec :: Int -> WrapUnCall m -> ShowS # show :: WrapUnCall m -> String # showList :: [WrapUnCall m] -> ShowS #

data StructUnCall m Source #

Constructors

StructUnCall
Fields n :: TypeName m :: Expr m

Instances

Eq (StructUnCall m) Source #
Methods (==) :: StructUnCall m -> StructUnCall m -> Bool # (/=) :: StructUnCall m -> StructUnCall m -> Bool #
Show (StructUnCall m) Source #
Methods showsPrec :: Int -> StructUnCall m -> ShowS # show :: StructUnCall m -> String # showList :: [StructUnCall m] -> ShowS #

data EnumerationUnCall m Source #

Constructors

EnumerationUnCall
Fields n :: TypeName e :: Expr m

Instances

Eq (EnumerationUnCall m) Source #
Methods (==) :: EnumerationUnCall m -> EnumerationUnCall m -> Bool # (/=) :: EnumerationUnCall m -> EnumerationUnCall m -> Bool #
Show (EnumerationUnCall m) Source #
Methods showsPrec :: Int -> EnumerationUnCall m -> ShowS # show :: EnumerationUnCall m -> String # showList :: [EnumerationUnCall m] -> ShowS #

data Val Source #

Constructors

Val'Infer Infer
Val'Prim Prim
Val'ApiVal ApiVal
Val'List [Val]

Instances

Eq Val Source #
Methods (==) :: Val -> Val -> Bool # (/=) :: Val -> Val -> Bool #
Show Val Source #
Methods showsPrec :: Int -> Val -> ShowS # show :: Val -> String # showList :: [Val] -> ShowS #
ToJSON Val Source #
Methods toJSON :: Val -> Value # toEncoding :: Val -> Encoding # toJSONList :: [Val] -> Value # toEncodingList :: [Val] -> Encoding #
FromJSON Val Source #
Methods parseJSON :: Value -> Parser Val # parseJSONList :: Value -> Parser [Val] #

data ApiVal Source #

Constructors

ApiVal'Struct Struct
ApiVal'Enumeral Enumeral

Instances

Eq ApiVal Source #
Methods (==) :: ApiVal -> ApiVal -> Bool # (/=) :: ApiVal -> ApiVal -> Bool #
Show ApiVal Source #
Methods showsPrec :: Int -> ApiVal -> ShowS # show :: ApiVal -> String # showList :: [ApiVal] -> ShowS #
ToJSON ApiVal Source #
Methods toJSON :: ApiVal -> Value # toEncoding :: ApiVal -> Encoding # toJSONList :: [ApiVal] -> Value # toEncodingList :: [ApiVal] -> Encoding #
FromJSON ApiVal Source #
Methods parseJSON :: Value -> Parser ApiVal # parseJSONList :: Value -> Parser [ApiVal] #

data Wrap Source #

Constructors

Wrap
Fields w :: Val

Instances

Eq Wrap Source #
Methods (==) :: Wrap -> Wrap -> Bool # (/=) :: Wrap -> Wrap -> Bool #
Show Wrap Source #
Methods showsPrec :: Int -> Wrap -> ShowS # show :: Wrap -> String # showList :: [Wrap] -> ShowS #

data Struct Source #

Constructors

Struct
Fields m :: Map MemberName Val

Instances

Eq Struct Source #
Methods (==) :: Struct -> Struct -> Bool # (/=) :: Struct -> Struct -> Bool #
Show Struct Source #
Methods showsPrec :: Int -> Struct -> ShowS # show :: Struct -> String # showList :: [Struct] -> ShowS #
Generic Struct Source #
Associated Types type Rep Struct :: * -> * # Methods from :: Struct -> Rep Struct x # to :: Rep Struct x -> Struct #
ToJSON Struct Source #
Methods toJSON :: Struct -> Value # toEncoding :: Struct -> Encoding # toJSONList :: [Struct] -> Value # toEncodingList :: [Struct] -> Encoding #
FromJSON Struct Source #
Methods parseJSON :: Value -> Parser Struct # parseJSONList :: Value -> Parser [Struct] #
type Rep Struct Source #
type Rep Struct = D1 * (MetaData "Struct" "Fluid.Val" "fluid-idl-0.0.6-TMVJCB4JNnGXgl1Gc0YAv" False) (C1 * (MetaCons "Struct" PrefixI True) (S1 * (MetaSel (Just Symbol "m") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Map MemberName Val))))

data Enumeral Source #

Constructors

Enumeral
Fields tag :: EnumeralName m :: Maybe (Map MemberName Val)

Instances

Eq Enumeral Source #
Methods (==) :: Enumeral -> Enumeral -> Bool # (/=) :: Enumeral -> Enumeral -> Bool #
Show Enumeral Source #
Methods showsPrec :: Int -> Enumeral -> ShowS # show :: Enumeral -> String # showList :: [Enumeral] -> ShowS #
Generic Enumeral Source #
Associated Types type Rep Enumeral :: * -> * # Methods from :: Enumeral -> Rep Enumeral x # to :: Rep Enumeral x -> Enumeral #
ToJSON Enumeral Source #
Methods toJSON :: Enumeral -> Value # toEncoding :: Enumeral -> Encoding # toJSONList :: [Enumeral] -> Value # toEncodingList :: [Enumeral] -> Encoding #
FromJSON Enumeral Source #
Methods parseJSON :: Value -> Parser Enumeral # parseJSONList :: Value -> Parser [Enumeral] #
type Rep Enumeral Source #
type Rep Enumeral = D1 * (MetaData "Enumeral" "Fluid.Val" "fluid-idl-0.0.6-TMVJCB4JNnGXgl1Gc0YAv" False) (C1 * (MetaCons "Enumeral" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "tag") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * EnumeralName)) (S1 * (MetaSel (Just Symbol "m") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Map MemberName Val))))))

data ApiCall Source #

Constructors

ApiCall'Hollow TypeName
ApiCall'Struct TypeName Struct
ApiCall'Enumeration TypeName Enumeral
ApiCall'Wrap TypeName Wrap

Instances

Eq ApiCall Source #
Methods (==) :: ApiCall -> ApiCall -> Bool # (/=) :: ApiCall -> ApiCall -> Bool #
Show ApiCall Source #
Methods showsPrec :: Int -> ApiCall -> ShowS # show :: ApiCall -> String # showList :: [ApiCall] -> ShowS #

jsonToExpr :: Monad m => Value -> Maybe (Expr m) Source #

apiCallName :: ApiCall -> TypeName Source #

fromAst :: Monad m => Ast -> Expr m Source #

data ApiParser api Source #

Constructors

ApiParser
Fields hollow :: Map TypeName api struct :: Map TypeName (Val -> Maybe api) enumeration :: Map TypeName (Val -> Maybe api) wrap :: Map TypeName (Val -> Maybe api)

parseApiCall :: ApiParser api -> ApiCall -> Maybe api Source #

eval :: (MonadIO m, RuntimeThrower m) => Expr m -> IORef (Env m) -> Eval m (Expr m) Source #

forceVal :: RuntimeThrower m => Expr m -> Eval m Val Source #

runEval :: MonadIO m => Eval m a -> EvalConfig m -> m a Source #

emptyEnv :: RuntimeThrower m => IO (IORef (Env m)) Source #