fluid-idl-0.0.6: Code-generated, Auto-versioned, & Smart Web APIs

Safe HaskellNone
LanguageHaskell2010

Fluid.Server.Expr

Documentation

data Expr m Source #

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 Ref Source #

Constructors

Ref 

Fields

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 #

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

Instances

data UnWrap m Source #

Constructors

UnWrap 

Fields

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

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

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

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

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

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 

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 #

Instances

data Lambda m Source #

Constructors

Lambda 

Fields

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

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

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

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 WrapUnCall m Source #

Constructors

WrapUnCall 

Fields

Instances

data StructUnCall m Source #

Constructors

StructUnCall 

Fields

data Wrap Source #

Constructors

Wrap 

Fields

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

Instances

Eq Struct Source # 

Methods

(==) :: Struct -> Struct -> Bool #

(/=) :: Struct -> Struct -> Bool #

Show Struct Source # 
Generic Struct Source # 

Associated Types

type Rep Struct :: * -> * #

Methods

from :: Struct -> Rep Struct x #

to :: Rep Struct x -> Struct #

ToJSON Struct Source # 
FromJSON Struct Source # 
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))))

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

data ApiParser api Source #

Constructors

ApiParser 

Fields

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 #