Colorless.Server.Expr

Documentation

data Expr m

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)

Methods

(==) :: Expr m -> Expr m -> Bool

(/=) :: Expr m -> Expr m -> Bool

Show (Expr m)

Methods

showsPrec :: Int -> Expr m -> ShowS

show :: Expr m -> String

showList :: [Expr m] -> ShowS

data EvalConfig m

Constructors

EvalConfig Limits (IORef Int) (IORef Int) (IORef Int) (ApiCall -> m Val)

data Ref

Constructors

Ref Symbol

Instances

Eq Ref

Methods

(==) :: Ref -> Ref -> Bool

(/=) :: Ref -> Ref -> Bool

Show Ref

Methods

showsPrec :: Int -> Ref -> ShowS

show :: Ref -> String

showList :: [Ref] -> ShowS

data UnVal m

Constructors

UnVal'Const Const

UnVal'UnWrap (UnWrap m)

UnVal'UnStruct (UnStruct m)

UnVal'UnEnumeral (UnEnumeral m)

Instances

Eq (UnVal m)

Methods

(==) :: UnVal m -> UnVal m -> Bool

(/=) :: UnVal m -> UnVal m -> Bool

Show (UnVal m)

Methods

showsPrec :: Int -> UnVal m -> ShowS

show :: UnVal m -> String

showList :: [UnVal m] -> ShowS

data UnEnumeral m

Constructors

UnEnumeral EnumeralName (Maybe (Map MemberName (Expr m)))

Instances

Eq (UnEnumeral m)

Methods

(==) :: UnEnumeral m -> UnEnumeral m -> Bool

(/=) :: UnEnumeral m -> UnEnumeral m -> Bool

Show (UnEnumeral m)

Methods

showsPrec :: Int -> UnEnumeral m -> ShowS

show :: UnEnumeral m -> String

showList :: [UnEnumeral m] -> ShowS

data UnWrap m

Constructors

UnWrap (Expr m)

Instances

Eq (UnWrap m)

Methods

(==) :: UnWrap m -> UnWrap m -> Bool

(/=) :: UnWrap m -> UnWrap m -> Bool

Show (UnWrap m)

Methods

showsPrec :: Int -> UnWrap m -> ShowS

show :: UnWrap m -> String

showList :: [UnWrap m] -> ShowS

data UnStruct m

Constructors

UnStruct (Map MemberName (Expr m))

Instances

Eq (UnStruct m)

Methods

(==) :: UnStruct m -> UnStruct m -> Bool

(/=) :: UnStruct m -> UnStruct m -> Bool

Show (UnStruct m)

Methods

showsPrec :: Int -> UnStruct m -> ShowS

show :: UnStruct m -> String

showList :: [UnStruct m] -> ShowS

data If m

Constructors

If (Expr m) (Expr m) (Expr m)

Instances

Eq (If m)

Methods

(==) :: If m -> If m -> Bool

(/=) :: If m -> If m -> Bool

Show (If m)

Methods

showsPrec :: Int -> If m -> ShowS

show :: If m -> String

showList :: [If m] -> ShowS

data Iflet m

Constructors

Iflet Symbol (Expr m) (Expr m) (Expr m)

Instances

Eq (Iflet m)

Methods

(==) :: Iflet m -> Iflet m -> Bool

(/=) :: Iflet m -> Iflet m -> Bool

Show (Iflet m)

Methods

showsPrec :: Int -> Iflet m -> ShowS

show :: Iflet m -> String

showList :: [Iflet m] -> ShowS

data Get m

Constructors

Get [Text] (Expr m)

Instances

Eq (Get m)

Methods

(==) :: Get m -> Get m -> Bool

(/=) :: Get m -> Get m -> Bool

Show (Get m)

Methods

showsPrec :: Int -> Get m -> ShowS

show :: Get m -> String

showList :: [Get m] -> ShowS

data Define m

Constructors

Define Symbol (Expr m)

Instances

Eq (Define m)

Methods

(==) :: Define m -> Define m -> Bool

(/=) :: Define m -> Define m -> Bool

Show (Define m)

Methods

showsPrec :: Int -> Define m -> ShowS

show :: Define m -> String

showList :: [Define m] -> ShowS

data Match m

Constructors

Match (Expr m) (Map EnumeralName (MatchCase m))

Instances

Eq (Match m)

Methods

(==) :: Match m -> Match m -> Bool

(/=) :: Match m -> Match m -> Bool

Show (Match m)

Methods

showsPrec :: Int -> Match m -> ShowS

show :: Match m -> String

showList :: [Match m] -> ShowS

data MatchCase m

Constructors

MatchCase'Tag (Expr m)

MatchCase'Members Symbol (Expr m)

Instances

Eq (MatchCase m)

Methods

(==) :: MatchCase m -> MatchCase m -> Bool

(/=) :: MatchCase m -> MatchCase m -> Bool

Show (MatchCase m)

Methods

showsPrec :: Int -> MatchCase m -> ShowS

show :: MatchCase m -> String

showList :: [MatchCase m] -> ShowS

data Lambda m

Constructors

Lambda [(Symbol, Type)] (Expr m)

Instances

Eq (Lambda m)

Methods

(==) :: Lambda m -> Lambda m -> Bool

(/=) :: Lambda m -> Lambda m -> Bool

Show (Lambda m)

Methods

showsPrec :: Int -> Lambda m -> ShowS

show :: Lambda m -> String

showList :: [Lambda m] -> ShowS

newtype Fn m

Constructors

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

Instances

Eq (Fn m)

Methods

(==) :: Fn m -> Fn m -> Bool

(/=) :: Fn m -> Fn m -> Bool

Show (Fn m)

Methods

showsPrec :: Int -> Fn m -> ShowS

show :: Fn m -> String

showList :: [Fn m] -> ShowS

data List m

Constructors

List [Expr m]

Instances

Eq (List m)

Methods

(==) :: List m -> List m -> Bool

(/=) :: List m -> List m -> Bool

Show (List m)

Methods

showsPrec :: Int -> List m -> ShowS

show :: List m -> String

showList :: [List m] -> ShowS

data Do m

Constructors

Do [Expr m]

Instances

Eq (Do m)

Methods

(==) :: Do m -> Do m -> Bool

(/=) :: Do m -> Do m -> Bool

Show (Do m)

Methods

showsPrec :: Int -> Do m -> ShowS

show :: Do m -> String

showList :: [Do m] -> ShowS

data FnCall m

Constructors

FnCall (Expr m) [Expr m]

Instances

Eq (FnCall m)

Methods

(==) :: FnCall m -> FnCall m -> Bool

(/=) :: FnCall m -> FnCall m -> Bool

Show (FnCall m)

Methods

showsPrec :: Int -> FnCall m -> ShowS

show :: FnCall m -> String

showList :: [FnCall m] -> ShowS

data ApiUnCall m

Constructors

ApiUnCall'HollowUnCall HollowUnCall

ApiUnCall'WrapUnCall (WrapUnCall m)

ApiUnCall'StructUnCall (StructUnCall m)

ApiUnCall'EnumerationUnCall (EnumerationUnCall m)

Instances

Eq (ApiUnCall m)

Methods

(==) :: ApiUnCall m -> ApiUnCall m -> Bool

(/=) :: ApiUnCall m -> ApiUnCall m -> Bool

Show (ApiUnCall m)

Methods

showsPrec :: Int -> ApiUnCall m -> ShowS

show :: ApiUnCall m -> String

showList :: [ApiUnCall m] -> ShowS

data HollowUnCall

Constructors

HollowUnCall TypeName

Instances

Eq HollowUnCall

Methods

(==) :: HollowUnCall -> HollowUnCall -> Bool

(/=) :: HollowUnCall -> HollowUnCall -> Bool

Show HollowUnCall

Methods

showsPrec :: Int -> HollowUnCall -> ShowS

show :: HollowUnCall -> String

showList :: [HollowUnCall] -> ShowS

data WrapUnCall m

Constructors

WrapUnCall TypeName (Expr m)

Instances

Eq (WrapUnCall m)

Methods

(==) :: WrapUnCall m -> WrapUnCall m -> Bool

(/=) :: WrapUnCall m -> WrapUnCall m -> Bool

Show (WrapUnCall m)

Methods

showsPrec :: Int -> WrapUnCall m -> ShowS

show :: WrapUnCall m -> String

showList :: [WrapUnCall m] -> ShowS

data StructUnCall m

Constructors

StructUnCall TypeName (Expr m)

Instances

Eq (StructUnCall m)

Methods

(==) :: StructUnCall m -> StructUnCall m -> Bool

(/=) :: StructUnCall m -> StructUnCall m -> Bool

Show (StructUnCall m)

Methods

showsPrec :: Int -> StructUnCall m -> ShowS

show :: StructUnCall m -> String

showList :: [StructUnCall m] -> ShowS

data EnumerationUnCall m

Constructors

EnumerationUnCall TypeName (Expr m)

Instances

Eq (EnumerationUnCall m)

Methods

(==) :: EnumerationUnCall m -> EnumerationUnCall m -> Bool

(/=) :: EnumerationUnCall m -> EnumerationUnCall m -> Bool

Show (EnumerationUnCall m)

Methods

showsPrec :: Int -> EnumerationUnCall m -> ShowS

show :: EnumerationUnCall m -> String

showList :: [EnumerationUnCall m] -> ShowS

data Val

Constructors

Val'Const Const

Val'Prim Prim

Val'ApiVal ApiVal

Val'List [Val]

Instances

Eq Val

Methods

(==) :: Val -> Val -> Bool

(/=) :: Val -> Val -> Bool

Show Val

Methods

showsPrec :: Int -> Val -> ShowS

show :: Val -> String

showList :: [Val] -> ShowS

ToJSON Val

Methods

toJSON :: Val -> Value

toEncoding :: Val -> Encoding

toJSONList :: [Val] -> Value

toEncodingList :: [Val] -> Encoding

FromJSON Val

Methods

parseJSON :: Value -> Parser Val

parseJSONList :: Value -> Parser [Val]

data ApiVal

Constructors

ApiVal'Struct Struct

ApiVal'Enumeral Enumeral

Instances

Eq ApiVal

Methods

(==) :: ApiVal -> ApiVal -> Bool

(/=) :: ApiVal -> ApiVal -> Bool

Show ApiVal

Methods

showsPrec :: Int -> ApiVal -> ShowS

show :: ApiVal -> String

showList :: [ApiVal] -> ShowS

ToJSON ApiVal

Methods

toJSON :: ApiVal -> Value

toEncoding :: ApiVal -> Encoding

toJSONList :: [ApiVal] -> Value

toEncodingList :: [ApiVal] -> Encoding

FromJSON ApiVal

Methods

parseJSON :: Value -> Parser ApiVal

parseJSONList :: Value -> Parser [ApiVal]

data Wrap

Constructors

Wrap Const

Instances

Eq Wrap

Methods

(==) :: Wrap -> Wrap -> Bool

(/=) :: Wrap -> Wrap -> Bool

Show Wrap

Methods

showsPrec :: Int -> Wrap -> ShowS

show :: Wrap -> String

showList :: [Wrap] -> ShowS

data Struct

Constructors

Struct (Map MemberName Val)

Instances

Eq Struct

Methods

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

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

Show Struct

Methods

showsPrec :: Int -> Struct -> ShowS

show :: Struct -> String

showList :: [Struct] -> ShowS

Generic Struct

Associated Types

type Rep Struct :: * -> *

Methods

from :: Struct -> Rep Struct x

to :: Rep Struct x -> Struct

ToJSON Struct

Methods

toJSON :: Struct -> Value

toEncoding :: Struct -> Encoding

toJSONList :: [Struct] -> Value

toEncodingList :: [Struct] -> Encoding

FromJSON Struct

Methods

parseJSON :: Value -> Parser Struct

parseJSONList :: Value -> Parser [Struct]

type Rep Struct

type Rep Struct = D1 (MetaData "Struct" "Colorless.Val" "colorless-2.2.20-IaSFUMJimeH8eoNTwoPVQ0" False) (C1 (MetaCons "Struct" PrefixI True) (S1 (MetaSel (Just Symbol "m") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map MemberName Val))))

data Enumeral

Constructors

Enumeral EnumeralName (Maybe (Map MemberName Val))

Instances

Eq Enumeral

Methods

(==) :: Enumeral -> Enumeral -> Bool

(/=) :: Enumeral -> Enumeral -> Bool

Show Enumeral

Methods

showsPrec :: Int -> Enumeral -> ShowS

show :: Enumeral -> String

showList :: [Enumeral] -> ShowS

Generic Enumeral

Associated Types

type Rep Enumeral :: * -> *

Methods

from :: Enumeral -> Rep Enumeral x

to :: Rep Enumeral x -> Enumeral

ToJSON Enumeral

Methods

toJSON :: Enumeral -> Value

toEncoding :: Enumeral -> Encoding

toJSONList :: [Enumeral] -> Value

toEncodingList :: [Enumeral] -> Encoding

FromJSON Enumeral

Methods

parseJSON :: Value -> Parser Enumeral

parseJSONList :: Value -> Parser [Enumeral]

type Rep Enumeral

type Rep Enumeral = D1 (MetaData "Enumeral" "Colorless.Val" "colorless-2.2.20-IaSFUMJimeH8eoNTwoPVQ0" 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

Constructors

ApiCall'Hollow TypeName

ApiCall'Struct TypeName Struct

ApiCall'Enumeration TypeName Enumeral

ApiCall'Wrap TypeName Wrap

Instances

Eq ApiCall

Methods

(==) :: ApiCall -> ApiCall -> Bool

(/=) :: ApiCall -> ApiCall -> Bool

Show ApiCall

Methods

showsPrec :: Int -> ApiCall -> ShowS

show :: ApiCall -> String

showList :: [ApiCall] -> ShowS

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

apiCallName :: ApiCall -> TypeName

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

data ApiParser api

Constructors

ApiParser (Map TypeName api) (Map TypeName (Val -> Maybe api)) (Map TypeName (Val -> Maybe api)) (Map TypeName (Val -> Maybe api))

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

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

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

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

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