Safe Haskell	None
Language	Haskell2010

Language.Ginger.Value

Synopsis

data SomePRNG = SplitGen g => SomePRNG {
- unPRNG :: g
}
data Env (m :: Type -> Type) = Env {
- envVars :: !(Map Identifier (Value m))
- envRootMay :: Maybe (Env m)
}
envRoot :: forall (m :: Type -> Type). Env m -> Env m
emptyEnv :: forall (m :: Type -> Type). Env m
type TemplateLoader (m :: Type -> Type) = Text -> m (Maybe Text)
type Encoder (m :: Type -> Type) = Text -> m Encoded
data Context (m :: Type -> Type) = Context {
- contextEncode :: Encoder m
- contextLoadTemplateFile :: TemplateLoader m
- contextVars :: !(Map Identifier (Value m))
- contextOutput :: !OutputPolicy
}
data OutputPolicy
- = Quiet
- | Output
emptyContext :: forall (m :: Type -> Type). Applicative m => Context m
data Scalar
- = NoneScalar
- | BoolScalar !Bool
- | StringScalar !Text
- | EncodedScalar !Encoded
- | BytesScalar !ByteString
- | IntScalar !Integer
- | FloatScalar !Double
scalarToText :: Scalar -> Text
newtype RefID = RefID {
- unRefID :: Int
}
data Value (m :: Type -> Type)
- = ScalarV !Scalar
- | ListV !(Vector (Value m))
- | DictV !(Map Scalar (Value m))
- | NativeV !(NativeObject m)
- | ProcedureV !(Procedure m)
- | TestV !(Test m)
- | FilterV !(Filter m)
- | MutableRefV !RefID
pattern NoneV :: Value m
pattern BoolV :: Bool -> Value m
pattern TrueV :: Value m
pattern FalseV :: Value m
pattern StringV :: Text -> Value m
pattern EncodedV :: Encoded -> Value m
pattern BytesV :: ByteString -> Value m
pattern IntV :: Integer -> Value m
pattern FloatV :: Double -> Value m
tagNameOf :: forall (m :: Type -> Type). Value m -> Text
traverseValue :: forall a (m :: Type -> Type). Monoid a => (Value m -> a) -> Value m -> a
newtype ObjectID = ObjectID {
- unObjectID :: Text
}
data TypeDoc
- = TypeDocNone
- | TypeDocAny
- | TypeDocSingle !Text
- | TypeDocAlternatives !(Vector Text)
data ArgumentDoc = ArgumentDoc {
- argumentDocName :: !Text
- argumentDocType :: !(Maybe TypeDoc)
- argumentDocDefault :: !(Maybe Text)
- argumentDocDescription :: !Text
}
data ProcedureDoc = ProcedureDoc {
- procedureDocName :: !Text
- procedureDocArgs :: !(Vector ArgumentDoc)
- procedureDocReturnType :: !(Maybe TypeDoc)
- procedureDocDescription :: !Text
}
data Procedure (m :: Type -> Type)
- = NativeProcedure !ObjectID !(Maybe ProcedureDoc) !([(Maybe Identifier, Value m)] -> Context m -> m (Either RuntimeError (Value m)))
- | GingerProcedure !(Env m) ![(Identifier, Maybe (Value m))] !Expr
- | NamespaceProcedure
namespaceProcedureDoc :: ProcedureDoc
pureNativeProcedure :: forall (m :: Type -> Type). Applicative m => ObjectID -> Maybe ProcedureDoc -> ([(Maybe Identifier, Value m)] -> Either RuntimeError (Value m)) -> Procedure m
nativeFunc :: Monad m => ObjectID -> Maybe ProcedureDoc -> (Value m -> m (Either RuntimeError (Value m))) -> Procedure m
pureNativeFunc :: forall (m :: Type -> Type). Applicative m => ObjectID -> Maybe ProcedureDoc -> (Value m -> Either RuntimeError (Value m)) -> Procedure m
pureNativeFunc2 :: forall (m :: Type -> Type). Applicative m => ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Either RuntimeError (Value m)) -> Procedure m
type MetaFunc (m :: Type -> Type) a = Expr -> [(Maybe Identifier, Value m)] -> Context m -> Env m -> m (Either RuntimeError a)
type TestFunc (m :: Type -> Type) = MetaFunc m Bool
type FilterFunc (m :: Type -> Type) = MetaFunc m (Value m)
data Test (m :: Type -> Type) = NativeTest {
- testDoc :: !(Maybe ProcedureDoc)
- runTest :: !(TestFunc m)
}
data Filter (m :: Type -> Type) = NativeFilter {
- filterDoc :: !(Maybe ProcedureDoc)
- runFilter :: !(FilterFunc m)
}
data NativeObject (m :: Type -> Type) = NativeObject {
- nativeObjectID :: ObjectID
- nativeObjectGetFieldNames :: m [Scalar]
- nativeObjectGetField :: Scalar -> m (Maybe (Value m))
- nativeObjectGetAttribute :: Identifier -> m (Maybe (Value m))
- nativeObjectStringified :: m Text
- nativeObjectEncoded :: Context m -> m Encoded
- nativeObjectAsList :: m (Maybe (Vector (Value m)))
- nativeObjectCall :: Maybe (NativeObject m -> [(Maybe Identifier, Value m)] -> m (Either RuntimeError (Value m)))
- nativeObjectEq :: NativeObject m -> NativeObject m -> m (Either RuntimeError Bool)
}
compareBy :: Ord b => (a -> b) -> a -> a -> Ordering
nativeObjectAsDict :: Monad m => NativeObject m -> m (Maybe (Map Scalar (Value m)))
(-->) :: obj -> (obj -> obj -> a) -> a
defNativeObject :: forall (m :: Type -> Type). Monad m => ObjectID -> NativeObject m
class ToScalar a where
- toScalar :: a -> Scalar
toIntScalar :: Integral a => a -> Scalar
class FnArgValue a where
- fromArgValue :: forall (m :: Type -> Type). Value m -> Either RuntimeError a
class FromValue a (m :: Type -> Type) where
- fromValue :: Value m -> m (Either RuntimeError a)
class ToValue a (m :: Type -> Type) where
- toValue :: a -> Value m
class FnToValue a (m :: Type -> Type) where
- fnToValue :: ObjectID -> Maybe ProcedureDoc -> a -> Value m
class ToNativeProcedure (m :: Type -> Type) a where
- toNativeProcedure :: a -> [(Maybe Identifier, Value m)] -> Context m -> m (Either RuntimeError (Value m))
eitherExcept :: forall (m :: Type -> Type) e t a. (Monad m, MonadError e (t m)) => Either e a -> t m a
eitherExceptM :: (Monad m, MonadError e (t m), MonadTrans t) => m (Either e a) -> t m a
resolveArgs :: forall (m :: Type -> Type). Text -> [(Identifier, Maybe (Value m))] -> [(Maybe Identifier, Value m)] -> Either RuntimeError (Map Identifier (Value m))
leftNaN :: Double -> Either RuntimeError Double
numericFunc :: forall (m :: Type -> Type). Monad m => (Integer -> Integer) -> (Double -> Double) -> Value m -> Either RuntimeError (Value m)
numericFuncCatch :: forall (m :: Type -> Type). Monad m => (Integer -> Either RuntimeError Integer) -> (Double -> Either RuntimeError Double) -> Value m -> Either RuntimeError (Value m)
asOptionalVal :: forall (m :: Type -> Type) a. (Value m -> Either RuntimeError a) -> Value m -> Either RuntimeError (Maybe a)
asIntVal :: forall (m :: Type -> Type). Text -> Value m -> Either RuntimeError Integer
asMaybeIntVal :: forall (m :: Type -> Type). Value m -> Maybe Integer
asFloatVal :: forall (m :: Type -> Type). Text -> Value m -> Either RuntimeError Double
asFloatValLenient :: forall (m :: Type -> Type). Double -> Value m -> Double
asMaybeFloatVal :: forall (m :: Type -> Type). Value m -> Maybe Double
asBoolVal :: forall (m :: Type -> Type). Text -> Value m -> Either RuntimeError Bool
asTruthVal :: forall (m :: Type -> Type). Text -> Value m -> Either RuntimeError Bool
asVectorVal :: Monad m => Value m -> m (Either RuntimeError (Vector (Value m)))
asListVal :: Monad m => Value m -> m (Either RuntimeError [Value m])
asDictVal :: Monad m => Value m -> m (Either RuntimeError (Map Scalar (Value m)))
asTextVal :: forall (m :: Type -> Type). Value m -> Either RuntimeError Text
asScalarVal :: forall (m :: Type -> Type). Value m -> Either RuntimeError Scalar
intFunc :: forall (m :: Type -> Type) a. (Monad m, ToValue a m) => (Integer -> Either RuntimeError a) -> Value m -> Either RuntimeError (Value m)
floatFunc :: forall (m :: Type -> Type) a. (Monad m, ToValue a m) => (Double -> Either RuntimeError a) -> Value m -> Either RuntimeError (Value m)
boolFunc :: forall (m :: Type -> Type) a. (Monad m, ToValue a m) => (Bool -> a) -> Value m -> Either RuntimeError (Value m)
textFunc :: forall (m :: Type -> Type) a. (Monad m, ToValue a m) => (Text -> Either RuntimeError a) -> Value m -> Either RuntimeError (Value m)
dictFunc :: forall (m :: Type -> Type) a. (Monad m, ToValue a m) => (Map Scalar (Value m) -> Either RuntimeError a) -> Value m -> Either RuntimeError (Value m)
numericFunc2 :: forall (m :: Type -> Type). Monad m => (Integer -> Integer -> Integer) -> (Double -> Double -> Double) -> Value m -> Value m -> Either RuntimeError (Value m)
numericFunc2Catch :: forall (m :: Type -> Type). Monad m => (Integer -> Integer -> Either RuntimeError Integer) -> (Double -> Double -> Either RuntimeError Double) -> Value m -> Value m -> Either RuntimeError (Value m)
intFunc2 :: forall (m :: Type -> Type). Monad m => (Integer -> Integer -> Either RuntimeError Integer) -> Value m -> Value m -> Either RuntimeError (Value m)
floatFunc2 :: forall (m :: Type -> Type). Monad m => (Double -> Double -> Either RuntimeError Double) -> Value m -> Value m -> Either RuntimeError (Value m)
boolFunc2 :: forall (m :: Type -> Type). Monad m => (Bool -> Bool -> Bool) -> Value m -> Value m -> Either RuntimeError (Value m)
native :: (Monad m, MonadTrans t, MonadError RuntimeError (t m)) => m (Either RuntimeError a) -> t m a
encodeText :: forall (m :: Type -> Type) t. (Monad m, MonadError RuntimeError (t m), MonadTrans t, MonadReader (Context m) (t m)) => Text -> t m Encoded
encodeTextWith :: forall (m :: Type -> Type) t. (Monad m, MonadError RuntimeError (t m), MonadTrans t) => Context m -> Text -> t m Encoded
encode :: forall (m :: Type -> Type) t. (Monad m, MonadError RuntimeError (t m), MonadTrans t, MonadReader (Context m) (t m)) => Value m -> t m Encoded
encodeWith :: forall (m :: Type -> Type) t. (Monad m, MonadError RuntimeError (t m), MonadTrans t) => Context m -> Value m -> t m Encoded
stringify :: forall (m :: Type -> Type) t. (Monad m, MonadError RuntimeError (t m), MonadTrans t) => Value m -> t m Text
stringifyKV :: forall (m :: Type -> Type) t. (Monad m, MonadError RuntimeError (t m), MonadTrans t) => (Scalar, Value m) -> t m Text
printfValues :: forall (m :: Type -> Type) t. (Monad m, MonadTrans t) => Text -> Value m -> t m (Value m)
formatValues :: forall (m :: Type -> Type) t. (Monad m, MonadTrans t, MonadError RuntimeError (t m)) => (Value m -> t m FormatArg) -> Text -> [(Maybe Text, Value m)] -> t m (Value m)
dictV :: forall (m :: Type -> Type). [(Scalar, Value m)] -> Value m
(.=) :: forall v (m :: Type -> Type). ToValue v m => Scalar -> v -> (Scalar, Value m)
arbitraryNativeProcedure :: forall (m :: Type -> Type). Monad m => Gen (Procedure m)
arbitraryNative :: forall (m :: Type -> Type). Monad m => Gen (NativeObject m)

Documentation

data SomePRNG Source #

Constructors

SplitGen g => SomePRNG
Fields unPRNG :: g

Instances

Instances details

RandomGen SomePRNG Source #
Instance details Defined in Language.Ginger.Value Methods next :: SomePRNG -> (Int, SomePRNG) # genWord8 :: SomePRNG -> (Word8, SomePRNG) # genWord16 :: SomePRNG -> (Word16, SomePRNG) # genWord32 :: SomePRNG -> (Word32, SomePRNG) # genWord64 :: SomePRNG -> (Word64, SomePRNG) # genWord32R :: Word32 -> SomePRNG -> (Word32, SomePRNG) # genWord64R :: Word64 -> SomePRNG -> (Word64, SomePRNG) # genShortByteString :: Int -> SomePRNG -> (ShortByteString, SomePRNG) # unsafeUniformFillMutableByteArray :: MutableByteArray s -> Int -> Int -> SomePRNG -> ST s SomePRNG # genRange :: SomePRNG -> (Int, Int) # split :: SomePRNG -> (SomePRNG, SomePRNG) #
SplitGen SomePRNG Source #
Instance details Defined in Language.Ginger.Value Methods splitGen :: SomePRNG -> (SomePRNG, SomePRNG) #

data Env (m :: Type -> Type) Source #

Constructors

Env
Fields envVars :: !(Map Identifier (Value m)) envRootMay :: Maybe (Env m)

Instances

Instances details

Monoid (Env m) Source #
Instance details Defined in Language.Ginger.Value Methods mempty :: Env m # mappend :: Env m -> Env m -> Env m # mconcat :: [Env m] -> Env m #
Semigroup (Env m) Source #
Instance details Defined in Language.Ginger.Value Methods (<>) :: Env m -> Env m -> Env m # sconcat :: NonEmpty (Env m) -> Env m # stimes :: Integral b => b -> Env m -> Env m #
Eq (Env m) Source #
Instance details Defined in Language.Ginger.Value Methods (==) :: Env m -> Env m -> Bool # (/=) :: Env m -> Env m -> Bool #
Ord (Env m) Source #
Instance details Defined in Language.Ginger.Value Methods compare :: Env m -> Env m -> Ordering # (<) :: Env m -> Env m -> Bool # (<=) :: Env m -> Env m -> Bool # (>) :: Env m -> Env m -> Bool # (>=) :: Env m -> Env m -> Bool # max :: Env m -> Env m -> Env m # min :: Env m -> Env m -> Env m #

envRoot :: forall (m :: Type -> Type). Env m -> Env m Source #

emptyEnv :: forall (m :: Type -> Type). Env m Source #

type TemplateLoader (m :: Type -> Type) = Text -> m (Maybe Text) Source #

type Encoder (m :: Type -> Type) = Text -> m Encoded Source #

data Context (m :: Type -> Type) Source #

Constructors

Context
Fields contextEncode :: Encoder m contextLoadTemplateFile :: TemplateLoader m contextVars :: !(Map Identifier (Value m)) contextOutput :: !OutputPolicy

Instances

Instances details

Monad m => MonadReader (Context m) (GingerT m) Source #
Instance details Defined in Language.Ginger.Interpret.Type Methods ask :: GingerT m (Context m) # local :: (Context m -> Context m) -> GingerT m a -> GingerT m a # reader :: (Context m -> a) -> GingerT m a #

data OutputPolicy Source #

Constructors

Quiet
Output

Instances

Instances details

Monoid OutputPolicy Source #
Instance details Defined in Language.Ginger.Value Methods mempty :: OutputPolicy # mappend :: OutputPolicy -> OutputPolicy -> OutputPolicy # mconcat :: [OutputPolicy] -> OutputPolicy #
Semigroup OutputPolicy Source #
Instance details Defined in Language.Ginger.Value Methods (<>) :: OutputPolicy -> OutputPolicy -> OutputPolicy # sconcat :: NonEmpty OutputPolicy -> OutputPolicy # stimes :: Integral b => b -> OutputPolicy -> OutputPolicy #
Bounded OutputPolicy Source #
Instance details Defined in Language.Ginger.Value Methods minBound :: OutputPolicy # maxBound :: OutputPolicy #
Enum OutputPolicy Source #
Instance details Defined in Language.Ginger.Value Methods succ :: OutputPolicy -> OutputPolicy # pred :: OutputPolicy -> OutputPolicy # toEnum :: Int -> OutputPolicy # fromEnum :: OutputPolicy -> Int # enumFrom :: OutputPolicy -> [OutputPolicy] # enumFromThen :: OutputPolicy -> OutputPolicy -> [OutputPolicy] # enumFromTo :: OutputPolicy -> OutputPolicy -> [OutputPolicy] # enumFromThenTo :: OutputPolicy -> OutputPolicy -> OutputPolicy -> [OutputPolicy] #
Show OutputPolicy Source #
Instance details Defined in Language.Ginger.Value Methods showsPrec :: Int -> OutputPolicy -> ShowS # show :: OutputPolicy -> String # showList :: [OutputPolicy] -> ShowS #
Eq OutputPolicy Source #
Instance details Defined in Language.Ginger.Value Methods (==) :: OutputPolicy -> OutputPolicy -> Bool # (/=) :: OutputPolicy -> OutputPolicy -> Bool #
Ord OutputPolicy Source #
Instance details Defined in Language.Ginger.Value Methods compare :: OutputPolicy -> OutputPolicy -> Ordering # (<) :: OutputPolicy -> OutputPolicy -> Bool # (<=) :: OutputPolicy -> OutputPolicy -> Bool # (>) :: OutputPolicy -> OutputPolicy -> Bool # (>=) :: OutputPolicy -> OutputPolicy -> Bool # max :: OutputPolicy -> OutputPolicy -> OutputPolicy # min :: OutputPolicy -> OutputPolicy -> OutputPolicy #

emptyContext :: forall (m :: Type -> Type). Applicative m => Context m Source #

data Scalar Source #

Constructors

NoneScalar
BoolScalar !Bool
StringScalar !Text
EncodedScalar !Encoded
BytesScalar !ByteString
IntScalar !Integer
FloatScalar !Double

Instances

Instances details

Arbitrary Scalar Source #
Instance details Defined in Language.Ginger.Value Methods arbitrary :: Gen Scalar # shrink :: Scalar -> [Scalar] #
FromJSON Scalar Source #
Instance details Defined in Language.Ginger.Value Methods parseJSON :: Value -> Parser Scalar # parseJSONList :: Value -> Parser [Scalar] # omittedField :: Maybe Scalar #
FromJSONKey Scalar Source #
Instance details Defined in Language.Ginger.Value Methods fromJSONKey :: FromJSONKeyFunction Scalar # fromJSONKeyList :: FromJSONKeyFunction [Scalar] #
ToJSON Scalar Source #
Instance details Defined in Language.Ginger.Value Methods toJSON :: Scalar -> Value # toEncoding :: Scalar -> Encoding # toJSONList :: [Scalar] -> Value # toEncodingList :: [Scalar] -> Encoding # omitField :: Scalar -> Bool #
ToJSONKey Scalar Source #
Instance details Defined in Language.Ginger.Value Methods toJSONKey :: ToJSONKeyFunction Scalar # toJSONKeyList :: ToJSONKeyFunction [Scalar] #
IsString Scalar Source #
Instance details Defined in Language.Ginger.Value Methods fromString :: String -> Scalar #
Show Scalar Source #
Instance details Defined in Language.Ginger.Value Methods showsPrec :: Int -> Scalar -> ShowS # show :: Scalar -> String # showList :: [Scalar] -> ShowS #
Eq Scalar Source #
Instance details Defined in Language.Ginger.Value Methods (==) :: Scalar -> Scalar -> Bool # (/=) :: Scalar -> Scalar -> Bool #
Ord Scalar Source #
Instance details Defined in Language.Ginger.Value Methods compare :: Scalar -> Scalar -> Ordering # (<) :: Scalar -> Scalar -> Bool # (<=) :: Scalar -> Scalar -> Bool # (>) :: Scalar -> Scalar -> Bool # (>=) :: Scalar -> Scalar -> Bool # max :: Scalar -> Scalar -> Scalar # min :: Scalar -> Scalar -> Scalar #
ToScalar Scalar Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Scalar -> Scalar Source #
Applicative m => FromValue Scalar m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError Scalar) Source #
ToValue Scalar a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Scalar -> Value a Source #
(Monad m, FromValue a m) => FromValue (Map Scalar a) m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError (Map Scalar a)) Source #

scalarToText :: Scalar -> Text Source #

newtype RefID Source #

Constructors

RefID
Fields unRefID :: Int

Instances

Instances details

Bounded RefID Source #
Instance details Defined in Language.Ginger.Value Methods minBound :: RefID # maxBound :: RefID #
Enum RefID Source #
Instance details Defined in Language.Ginger.Value Methods succ :: RefID -> RefID # pred :: RefID -> RefID # toEnum :: Int -> RefID # fromEnum :: RefID -> Int # enumFrom :: RefID -> [RefID] # enumFromThen :: RefID -> RefID -> [RefID] # enumFromTo :: RefID -> RefID -> [RefID] # enumFromThenTo :: RefID -> RefID -> RefID -> [RefID] #
Show RefID Source #
Instance details Defined in Language.Ginger.Value Methods showsPrec :: Int -> RefID -> ShowS # show :: RefID -> String # showList :: [RefID] -> ShowS #
Eq RefID Source #
Instance details Defined in Language.Ginger.Value Methods (==) :: RefID -> RefID -> Bool # (/=) :: RefID -> RefID -> Bool #
Ord RefID Source #
Instance details Defined in Language.Ginger.Value Methods compare :: RefID -> RefID -> Ordering # (<) :: RefID -> RefID -> Bool # (<=) :: RefID -> RefID -> Bool # (>) :: RefID -> RefID -> Bool # (>=) :: RefID -> RefID -> Bool # max :: RefID -> RefID -> RefID # min :: RefID -> RefID -> RefID #

data Value (m :: Type -> Type) Source #

A value, as using by the interpreter.

Constructors

ScalarV !Scalar
ListV !(Vector (Value m))
DictV !(Map Scalar (Value m))
NativeV !(NativeObject m)
ProcedureV !(Procedure m)
TestV !(Test m)
FilterV !(Filter m)
MutableRefV !RefID

Instances

Instances details

Applicative m => ToNativeProcedure m (Value m) Source #
Instance details Defined in Language.Ginger.Value Methods toNativeProcedure :: Value m -> [(Maybe Identifier, Value m)] -> Context m -> m (Either RuntimeError (Value m)) Source #
Applicative m => ToNativeProcedure m (m (Either RuntimeError (Value m))) Source #
Instance details Defined in Language.Ginger.Value Methods toNativeProcedure :: m (Either RuntimeError (Value m)) -> [(Maybe Identifier, Value m)] -> Context m -> m (Either RuntimeError (Value m)) Source #
Applicative m => ToNativeProcedure m (m (Value m)) Source #
Instance details Defined in Language.Ginger.Value Methods toNativeProcedure :: m (Value m) -> [(Maybe Identifier, Value m)] -> Context m -> m (Either RuntimeError (Value m)) Source #
(Applicative m, ToNativeProcedure m a) => ToNativeProcedure m (Value m -> a) Source #
Instance details Defined in Language.Ginger.Value Methods toNativeProcedure :: (Value m -> a) -> [(Maybe Identifier, Value m)] -> Context m -> m (Either RuntimeError (Value m)) Source #
Monad m => Arbitrary (Value m) Source #
Instance details Defined in Language.Ginger.Value Methods arbitrary :: Gen (Value m) # shrink :: Value m -> [Value m] #
FromJSON (Value m) Source #
Instance details Defined in Language.Ginger.Value Methods parseJSON :: Value -> Parser (Value m) # parseJSONList :: Value -> Parser [Value m] # omittedField :: Maybe (Value m) #
ToJSON (Value m) Source #
Instance details Defined in Language.Ginger.Value Methods toJSON :: Value m -> Value # toEncoding :: Value m -> Encoding # toJSONList :: [Value m] -> Value # toEncodingList :: [Value m] -> Encoding # omitField :: Value m -> Bool #
PrintfArg (Value m) Source #
Instance details Defined in Language.Ginger.Value Methods formatArg :: Value m -> FieldFormatter # parseFormat :: Value m -> ModifierParser #
IsString (Value m) Source #
Instance details Defined in Language.Ginger.Value Methods fromString :: String -> Value m #
Show (Value m) Source #
Instance details Defined in Language.Ginger.Value Methods showsPrec :: Int -> Value m -> ShowS # show :: Value m -> String # showList :: [Value m] -> ShowS #
Eq (Value m) Source #
Instance details Defined in Language.Ginger.Value Methods (==) :: Value m -> Value m -> Bool # (/=) :: Value m -> Value m -> Bool #
Ord (Value m) Source #
Instance details Defined in Language.Ginger.Value Methods compare :: Value m -> Value m -> Ordering # (<) :: Value m -> Value m -> Bool # (<=) :: Value m -> Value m -> Bool # (>) :: Value m -> Value m -> Bool # (>=) :: Value m -> Value m -> Bool # max :: Value m -> Value m -> Value m # min :: Value m -> Value m -> Value m #
RenderSyntax (Value m) Source #
Instance details Defined in Language.Ginger.Render Methods renderSyntax :: Value m -> Builder Source #
Applicative m => FromValue (Value m) m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError (Value m)) Source #
ToValue (Value m) m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Value m -> Value m Source #
Applicative m => FnToValue (Value m -> Value m) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> Value m) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> Value m) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> Value m -> Value m) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> Value m -> Value m) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> Value m -> Value m -> Value m) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> Value m -> Value m -> Value m) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> Value m -> Value m -> m (Either RuntimeError (Value m))) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> Value m -> Value m -> m (Either RuntimeError (Value m))) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> Value m -> Value m -> m (Value m)) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> Value m -> Value m -> m (Value m)) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> Value m -> m (Either RuntimeError (Value m))) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> Value m -> m (Either RuntimeError (Value m))) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> Value m -> m (Value m)) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> Value m -> m (Value m)) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> m (Either RuntimeError (Value m))) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> m (Either RuntimeError (Value m))) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> m (Value m)) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> m (Value m)) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> m (Either RuntimeError (Value m))) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> m (Either RuntimeError (Value m))) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> m (Value m)) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> m (Value m)) -> Value m Source #
Applicative m => FnToValue (Value m -> m (Either RuntimeError (Value m))) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> m (Either RuntimeError (Value m))) -> Value m Source #
Applicative m => FnToValue (Value m -> m (Value m)) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> m (Value m)) -> Value m Source #

pattern NoneV :: Value m Source #

pattern BoolV :: Bool -> Value m Source #

pattern TrueV :: Value m Source #

pattern FalseV :: Value m Source #

pattern StringV :: Text -> Value m Source #

pattern EncodedV :: Encoded -> Value m Source #

pattern BytesV :: ByteString -> Value m Source #

pattern IntV :: Integer -> Value m Source #

pattern FloatV :: Double -> Value m Source #

tagNameOf :: forall (m :: Type -> Type). Value m -> Text Source #

traverseValue :: forall a (m :: Type -> Type). Monoid a => (Value m -> a) -> Value m -> a Source #

newtype ObjectID Source #

Constructors

ObjectID
Fields unObjectID :: Text

Instances

Instances details

IsString ObjectID Source #
Instance details Defined in Language.Ginger.Value Methods fromString :: String -> ObjectID #
Eq ObjectID Source #
Instance details Defined in Language.Ginger.Value Methods (==) :: ObjectID -> ObjectID -> Bool # (/=) :: ObjectID -> ObjectID -> Bool #
Ord ObjectID Source #
Instance details Defined in Language.Ginger.Value Methods compare :: ObjectID -> ObjectID -> Ordering # (<) :: ObjectID -> ObjectID -> Bool # (<=) :: ObjectID -> ObjectID -> Bool # (>) :: ObjectID -> ObjectID -> Bool # (>=) :: ObjectID -> ObjectID -> Bool # max :: ObjectID -> ObjectID -> ObjectID # min :: ObjectID -> ObjectID -> ObjectID #

data TypeDoc Source #

Constructors

TypeDocNone
TypeDocAny
TypeDocSingle !Text
TypeDocAlternatives !(Vector Text)

Instances

Instances details

Show TypeDoc Source #
Instance details Defined in Language.Ginger.Value Methods showsPrec :: Int -> TypeDoc -> ShowS # show :: TypeDoc -> String # showList :: [TypeDoc] -> ShowS #
Eq TypeDoc Source #
Instance details Defined in Language.Ginger.Value Methods (==) :: TypeDoc -> TypeDoc -> Bool # (/=) :: TypeDoc -> TypeDoc -> Bool #
ToValue TypeDoc m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: TypeDoc -> Value m Source #

data ArgumentDoc Source #

Constructors

ArgumentDoc
Fields argumentDocName :: !Text argumentDocType :: !(Maybe TypeDoc) argumentDocDefault :: !(Maybe Text) argumentDocDescription :: !Text

Instances

Instances details

Show ArgumentDoc Source #
Instance details Defined in Language.Ginger.Value Methods showsPrec :: Int -> ArgumentDoc -> ShowS # show :: ArgumentDoc -> String # showList :: [ArgumentDoc] -> ShowS #
Eq ArgumentDoc Source #
Instance details Defined in Language.Ginger.Value Methods (==) :: ArgumentDoc -> ArgumentDoc -> Bool # (/=) :: ArgumentDoc -> ArgumentDoc -> Bool #
ToValue ArgumentDoc m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: ArgumentDoc -> Value m Source #

data ProcedureDoc Source #

Constructors

ProcedureDoc
Fields procedureDocName :: !Text procedureDocArgs :: !(Vector ArgumentDoc) procedureDocReturnType :: !(Maybe TypeDoc) procedureDocDescription :: !Text

Instances

Instances details

Show ProcedureDoc Source #
Instance details Defined in Language.Ginger.Value Methods showsPrec :: Int -> ProcedureDoc -> ShowS # show :: ProcedureDoc -> String # showList :: [ProcedureDoc] -> ShowS #
Eq ProcedureDoc Source #
Instance details Defined in Language.Ginger.Value Methods (==) :: ProcedureDoc -> ProcedureDoc -> Bool # (/=) :: ProcedureDoc -> ProcedureDoc -> Bool #
Ord ProcedureDoc Source #
Instance details Defined in Language.Ginger.Value Methods compare :: ProcedureDoc -> ProcedureDoc -> Ordering # (<) :: ProcedureDoc -> ProcedureDoc -> Bool # (<=) :: ProcedureDoc -> ProcedureDoc -> Bool # (>) :: ProcedureDoc -> ProcedureDoc -> Bool # (>=) :: ProcedureDoc -> ProcedureDoc -> Bool # max :: ProcedureDoc -> ProcedureDoc -> ProcedureDoc # min :: ProcedureDoc -> ProcedureDoc -> ProcedureDoc #
ToValue ProcedureDoc m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: ProcedureDoc -> Value m Source #

data Procedure (m :: Type -> Type) Source #

Constructors

NativeProcedure !ObjectID !(Maybe ProcedureDoc) !([(Maybe Identifier, Value m)] -> Context m -> m (Either RuntimeError (Value m)))
GingerProcedure !(Env m) ![(Identifier, Maybe (Value m))] !Expr
NamespaceProcedure

Instances

Instances details

Eq (Procedure m) Source #
Instance details Defined in Language.Ginger.Value Methods (==) :: Procedure m -> Procedure m -> Bool # (/=) :: Procedure m -> Procedure m -> Bool #
Ord (Procedure m) Source #
Instance details Defined in Language.Ginger.Value Methods compare :: Procedure m -> Procedure m -> Ordering # (<) :: Procedure m -> Procedure m -> Bool # (<=) :: Procedure m -> Procedure m -> Bool # (>) :: Procedure m -> Procedure m -> Bool # (>=) :: Procedure m -> Procedure m -> Bool # max :: Procedure m -> Procedure m -> Procedure m # min :: Procedure m -> Procedure m -> Procedure m #

namespaceProcedureDoc :: ProcedureDoc Source #

pureNativeProcedure :: forall (m :: Type -> Type). Applicative m => ObjectID -> Maybe ProcedureDoc -> ([(Maybe Identifier, Value m)] -> Either RuntimeError (Value m)) -> Procedure m Source #

nativeFunc :: Monad m => ObjectID -> Maybe ProcedureDoc -> (Value m -> m (Either RuntimeError (Value m))) -> Procedure m Source #

pureNativeFunc :: forall (m :: Type -> Type). Applicative m => ObjectID -> Maybe ProcedureDoc -> (Value m -> Either RuntimeError (Value m)) -> Procedure m Source #

pureNativeFunc2 :: forall (m :: Type -> Type). Applicative m => ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Either RuntimeError (Value m)) -> Procedure m Source #

type MetaFunc (m :: Type -> Type) a = Expr -> [(Maybe Identifier, Value m)] -> Context m -> Env m -> m (Either RuntimeError a) Source #

type TestFunc (m :: Type -> Type) = MetaFunc m Bool Source #

type FilterFunc (m :: Type -> Type) = MetaFunc m (Value m) Source #

data Test (m :: Type -> Type) Source #

Constructors

NativeTest
Fields testDoc :: !(Maybe ProcedureDoc) runTest :: !(TestFunc m)

Instances

Instances details

Eq (Test m) Source #
Instance details Defined in Language.Ginger.Value Methods (==) :: Test m -> Test m -> Bool # (/=) :: Test m -> Test m -> Bool #
Ord (Test m) Source #
Instance details Defined in Language.Ginger.Value Methods compare :: Test m -> Test m -> Ordering # (<) :: Test m -> Test m -> Bool # (<=) :: Test m -> Test m -> Bool # (>) :: Test m -> Test m -> Bool # (>=) :: Test m -> Test m -> Bool # max :: Test m -> Test m -> Test m # min :: Test m -> Test m -> Test m #

data Filter (m :: Type -> Type) Source #

Constructors

NativeFilter
Fields filterDoc :: !(Maybe ProcedureDoc) runFilter :: !(FilterFunc m)

Instances

Instances details

Eq (Filter m) Source #
Instance details Defined in Language.Ginger.Value Methods (==) :: Filter m -> Filter m -> Bool # (/=) :: Filter m -> Filter m -> Bool #
Ord (Filter m) Source #
Instance details Defined in Language.Ginger.Value Methods compare :: Filter m -> Filter m -> Ordering # (<) :: Filter m -> Filter m -> Bool # (<=) :: Filter m -> Filter m -> Bool # (>) :: Filter m -> Filter m -> Bool # (>=) :: Filter m -> Filter m -> Bool # max :: Filter m -> Filter m -> Filter m # min :: Filter m -> Filter m -> Filter m #

data NativeObject (m :: Type -> Type) Source #

Constructors

NativeObject

Fields

nativeObjectID :: ObjectID
nativeObjectGetFieldNames :: m [Scalar]
nativeObjectGetField :: Scalar -> m (Maybe (Value m))
nativeObjectGetAttribute :: Identifier -> m (Maybe (Value m))
nativeObjectStringified :: m Text
nativeObjectEncoded :: Context m -> m Encoded
nativeObjectAsList :: m (Maybe (Vector (Value m)))
nativeObjectCall :: Maybe (NativeObject m -> [(Maybe Identifier, Value m)] -> m (Either RuntimeError (Value m)))
nativeObjectEq :: NativeObject m -> NativeObject m -> m (Either RuntimeError Bool)

Instances

Instances details

Eq (NativeObject m) Source #
Instance details Defined in Language.Ginger.Value Methods (==) :: NativeObject m -> NativeObject m -> Bool # (/=) :: NativeObject m -> NativeObject m -> Bool #
Ord (NativeObject m) Source #
Instance details Defined in Language.Ginger.Value Methods compare :: NativeObject m -> NativeObject m -> Ordering # (<) :: NativeObject m -> NativeObject m -> Bool # (<=) :: NativeObject m -> NativeObject m -> Bool # (>) :: NativeObject m -> NativeObject m -> Bool # (>=) :: NativeObject m -> NativeObject m -> Bool # max :: NativeObject m -> NativeObject m -> NativeObject m # min :: NativeObject m -> NativeObject m -> NativeObject m #

compareBy :: Ord b => (a -> b) -> a -> a -> Ordering Source #

nativeObjectAsDict :: Monad m => NativeObject m -> m (Maybe (Map Scalar (Value m))) Source #

(-->) :: obj -> (obj -> obj -> a) -> a Source #

defNativeObject :: forall (m :: Type -> Type). Monad m => ObjectID -> NativeObject m Source #

class ToScalar a where Source #

Methods

toScalar :: a -> Scalar Source #

Instances

Instances details

ToScalar ByteString Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: ByteString -> Scalar Source #
ToScalar ByteString Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: ByteString -> Scalar Source #
ToScalar Int16 Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Int16 -> Scalar Source #
ToScalar Int32 Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Int32 -> Scalar Source #
ToScalar Int64 Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Int64 -> Scalar Source #
ToScalar Int8 Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Int8 -> Scalar Source #
ToScalar Word16 Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Word16 -> Scalar Source #
ToScalar Word32 Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Word32 -> Scalar Source #
ToScalar Word64 Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Word64 -> Scalar Source #
ToScalar Word8 Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Word8 -> Scalar Source #
ToScalar Identifier Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Identifier -> Scalar Source #
ToScalar Scalar Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Scalar -> Scalar Source #
ToScalar Text Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Text -> Scalar Source #
ToScalar Text Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Text -> Scalar Source #
ToScalar Integer Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Integer -> Scalar Source #
ToScalar () Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: () -> Scalar Source #
ToScalar Bool Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Bool -> Scalar Source #
ToScalar Double Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Double -> Scalar Source #
ToScalar Float Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Float -> Scalar Source #
ToScalar Int Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Int -> Scalar Source #
ToScalar Word Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Word -> Scalar Source #
ToScalar a => ToScalar (Maybe a) Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Maybe a -> Scalar Source #
(ToScalar a, ToScalar b) => ToScalar (Either a b) Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Either a b -> Scalar Source #

toIntScalar :: Integral a => a -> Scalar Source #

class FnArgValue a where Source #

Methods

fromArgValue :: forall (m :: Type -> Type). Value m -> Either RuntimeError a Source #

class FromValue a (m :: Type -> Type) where Source #

Methods

fromValue :: Value m -> m (Either RuntimeError a) Source #

Instances

Instances details

Applicative m => FromValue Identifier m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError Identifier) Source #
Monad m => FromValue DictSortBy m Source #
Instance details Defined in Language.Ginger.Interpret.Builtins Methods fromValue :: Value m -> m (Either RuntimeError DictSortBy) Source #
Monad m => FromValue FileSize m Source #
Instance details Defined in Language.Ginger.Interpret.Builtins Methods fromValue :: Value m -> m (Either RuntimeError FileSize) Source #
Applicative m => FromValue Scalar m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError Scalar) Source #
Applicative m => FromValue Text m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError Text) Source #
Applicative m => FromValue Integer m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError Integer) Source #
Applicative m => FromValue () m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError ()) Source #
Applicative m => FromValue Bool m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError Bool) Source #
Applicative m => FromValue Double m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError Double) Source #
Applicative m => FromValue Int m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError Int) Source #
Applicative m => FromValue (Value m) m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError (Value m)) Source #
(Monad m, FromValue a m) => FromValue (Vector a) m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError (Vector a)) Source #
(Applicative m, FromValue a m) => FromValue (Maybe a) m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError (Maybe a)) Source #
(Monad m, FromValue a m) => FromValue [a] m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError [a]) Source #
(Monad m, FromValue a m) => FromValue (Map Scalar a) m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError (Map Scalar a)) Source #
(Monad m, FromValue l m, FromValue r m) => FromValue (Either l r) m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError (Either l r)) Source #

class ToValue a (m :: Type -> Type) where Source #

Methods

toValue :: a -> Value m Source #

Instances

Instances details

ToValue ByteString a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: ByteString -> Value a Source #
ToValue ByteString a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: ByteString -> Value a Source #
ToValue Int16 a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Int16 -> Value a Source #
ToValue Int32 a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Int32 -> Value a Source #
ToValue Int64 a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Int64 -> Value a Source #
ToValue Int8 a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Int8 -> Value a Source #
ToValue Word16 a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Word16 -> Value a Source #
ToValue Word32 a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Word32 -> Value a Source #
ToValue Word64 a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Word64 -> Value a Source #
ToValue Word8 a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Word8 -> Value a Source #
ToValue Identifier a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Identifier -> Value a Source #
ToValue DictSortBy m Source #
Instance details Defined in Language.Ginger.Interpret.Builtins Methods toValue :: DictSortBy -> Value m Source #
ToValue FileSize m Source #
Instance details Defined in Language.Ginger.Interpret.Builtins Methods toValue :: FileSize -> Value m Source #
ToValue ArgumentDoc m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: ArgumentDoc -> Value m Source #
ToValue ProcedureDoc m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: ProcedureDoc -> Value m Source #
ToValue Scalar a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Scalar -> Value a Source #
ToValue TypeDoc m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: TypeDoc -> Value m Source #
ToValue Text a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Text -> Value a Source #
ToValue Text a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Text -> Value a Source #
ToValue Integer a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Integer -> Value a Source #
ToValue () a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: () -> Value a Source #
ToValue Bool a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Bool -> Value a Source #
ToValue Double a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Double -> Value a Source #
ToValue Float a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Float -> Value a Source #
ToValue Int a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Int -> Value a Source #
ToValue Word a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Word -> Value a Source #
ToValue (Value m) m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Value m -> Value m Source #
ToValue a m => ToValue (Vector a) m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Vector a -> Value m Source #
ToValue a m => ToValue (Maybe a) m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Maybe a -> Value m Source #
ToValue a m => ToValue [a] m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: [a] -> Value m Source #
ToValue v m => ToValue (Map Text v) m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Map Text v -> Value m Source #
ToValue v m => ToValue (Map String v) m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Map String v -> Value m Source #
(ToScalar k, ToValue v m) => ToValue (Map k v) m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Map k v -> Value m Source #
(ToValue a m, ToValue b m) => ToValue (Either a b) m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Either a b -> Value m Source #
(ToValue a1 m, ToValue a2 m) => ToValue (a1, a2) m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: (a1, a2) -> Value m Source #
(ToValue a1 m, ToValue a2 m, ToValue a3 m) => ToValue (a1, a2, a3) m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: (a1, a2, a3) -> Value m Source #
(ToValue a1 m, ToValue a2 m, ToValue a3 m, ToValue a4 m) => ToValue (a1, a2, a3, a4) m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: (a1, a2, a3, a4) -> Value m Source #
(ToValue a1 m, ToValue a2 m, ToValue a3 m, ToValue a4 m, ToValue a5 m) => ToValue (a1, a2, a3, a4, a5) m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: (a1, a2, a3, a4, a5) -> Value m Source #
(ToValue a1 m, ToValue a2 m, ToValue a3 m, ToValue a4 m, ToValue a5 m, ToValue a6 m) => ToValue (a1, a2, a3, a4, a5, a6) m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: (a1, a2, a3, a4, a5, a6) -> Value m Source #
(ToValue a1 m, ToValue a2 m, ToValue a3 m, ToValue a4 m, ToValue a5 m, ToValue a6 m, ToValue a7 m) => ToValue (a1, a2, a3, a4, a5, a6, a7) m Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: (a1, a2, a3, a4, a5, a6, a7) -> Value m Source #

class FnToValue a (m :: Type -> Type) where Source #

Methods

fnToValue :: ObjectID -> Maybe ProcedureDoc -> a -> Value m Source #

Instances

Instances details

Applicative m => FnToValue (Value m -> Value m) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> Value m) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> Value m) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> Value m -> Value m) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> Value m -> Value m) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> Value m -> Value m -> Value m) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> Value m -> Value m -> Value m) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> Value m -> Value m -> m (Either RuntimeError (Value m))) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> Value m -> Value m -> m (Either RuntimeError (Value m))) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> Value m -> Value m -> m (Value m)) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> Value m -> Value m -> m (Value m)) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> Value m -> m (Either RuntimeError (Value m))) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> Value m -> m (Either RuntimeError (Value m))) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> Value m -> m (Value m)) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> Value m -> m (Value m)) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> m (Either RuntimeError (Value m))) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> m (Either RuntimeError (Value m))) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> Value m -> m (Value m)) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> Value m -> m (Value m)) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> m (Either RuntimeError (Value m))) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> m (Either RuntimeError (Value m))) -> Value m Source #
Applicative m => FnToValue (Value m -> Value m -> m (Value m)) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> Value m -> m (Value m)) -> Value m Source #
Applicative m => FnToValue (Value m -> m (Either RuntimeError (Value m))) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> m (Either RuntimeError (Value m))) -> Value m Source #
Applicative m => FnToValue (Value m -> m (Value m)) m Source #
Instance details Defined in Language.Ginger.Value Methods fnToValue :: ObjectID -> Maybe ProcedureDoc -> (Value m -> m (Value m)) -> Value m Source #

class ToNativeProcedure (m :: Type -> Type) a where Source #

Methods

toNativeProcedure :: a -> [(Maybe Identifier, Value m)] -> Context m -> m (Either RuntimeError (Value m)) Source #

Instances

Instances details

Applicative m => ToNativeProcedure m (Value m) Source #
Instance details Defined in Language.Ginger.Value Methods toNativeProcedure :: Value m -> [(Maybe Identifier, Value m)] -> Context m -> m (Either RuntimeError (Value m)) Source #
Applicative m => ToNativeProcedure m (m (Either RuntimeError (Value m))) Source #
Instance details Defined in Language.Ginger.Value Methods toNativeProcedure :: m (Either RuntimeError (Value m)) -> [(Maybe Identifier, Value m)] -> Context m -> m (Either RuntimeError (Value m)) Source #
Applicative m => ToNativeProcedure m (m (Value m)) Source #
Instance details Defined in Language.Ginger.Value Methods toNativeProcedure :: m (Value m) -> [(Maybe Identifier, Value m)] -> Context m -> m (Either RuntimeError (Value m)) Source #
(Applicative m, ToNativeProcedure m a) => ToNativeProcedure m (Value m -> a) Source #
Instance details Defined in Language.Ginger.Value Methods toNativeProcedure :: (Value m -> a) -> [(Maybe Identifier, Value m)] -> Context m -> m (Either RuntimeError (Value m)) Source #

eitherExcept :: forall (m :: Type -> Type) e t a. (Monad m, MonadError e (t m)) => Either e a -> t m a Source #

eitherExceptM :: (Monad m, MonadError e (t m), MonadTrans t) => m (Either e a) -> t m a Source #

resolveArgs :: forall (m :: Type -> Type). Text -> [(Identifier, Maybe (Value m))] -> [(Maybe Identifier, Value m)] -> Either RuntimeError (Map Identifier (Value m)) Source #

leftNaN :: Double -> Either RuntimeError Double Source #

numericFunc :: forall (m :: Type -> Type). Monad m => (Integer -> Integer) -> (Double -> Double) -> Value m -> Either RuntimeError (Value m) Source #

numericFuncCatch :: forall (m :: Type -> Type). Monad m => (Integer -> Either RuntimeError Integer) -> (Double -> Either RuntimeError Double) -> Value m -> Either RuntimeError (Value m) Source #

asOptionalVal :: forall (m :: Type -> Type) a. (Value m -> Either RuntimeError a) -> Value m -> Either RuntimeError (Maybe a) Source #

asIntVal :: forall (m :: Type -> Type). Text -> Value m -> Either RuntimeError Integer Source #

asMaybeIntVal :: forall (m :: Type -> Type). Value m -> Maybe Integer Source #

asFloatVal :: forall (m :: Type -> Type). Text -> Value m -> Either RuntimeError Double Source #

asFloatValLenient :: forall (m :: Type -> Type). Double -> Value m -> Double Source #

asMaybeFloatVal :: forall (m :: Type -> Type). Value m -> Maybe Double Source #

asBoolVal :: forall (m :: Type -> Type). Text -> Value m -> Either RuntimeError Bool Source #

asTruthVal :: forall (m :: Type -> Type). Text -> Value m -> Either RuntimeError Bool Source #

Lenient version of asBoolVal, will also work on strings, numbers, lists, and dicts.

asVectorVal :: Monad m => Value m -> m (Either RuntimeError (Vector (Value m))) Source #

asListVal :: Monad m => Value m -> m (Either RuntimeError [Value m]) Source #

asDictVal :: Monad m => Value m -> m (Either RuntimeError (Map Scalar (Value m))) Source #

asTextVal :: forall (m :: Type -> Type). Value m -> Either RuntimeError Text Source #

asScalarVal :: forall (m :: Type -> Type). Value m -> Either RuntimeError Scalar Source #

intFunc :: forall (m :: Type -> Type) a. (Monad m, ToValue a m) => (Integer -> Either RuntimeError a) -> Value m -> Either RuntimeError (Value m) Source #

floatFunc :: forall (m :: Type -> Type) a. (Monad m, ToValue a m) => (Double -> Either RuntimeError a) -> Value m -> Either RuntimeError (Value m) Source #

boolFunc :: forall (m :: Type -> Type) a. (Monad m, ToValue a m) => (Bool -> a) -> Value m -> Either RuntimeError (Value m) Source #

textFunc :: forall (m :: Type -> Type) a. (Monad m, ToValue a m) => (Text -> Either RuntimeError a) -> Value m -> Either RuntimeError (Value m) Source #

dictFunc :: forall (m :: Type -> Type) a. (Monad m, ToValue a m) => (Map Scalar (Value m) -> Either RuntimeError a) -> Value m -> Either RuntimeError (Value m) Source #

numericFunc2 :: forall (m :: Type -> Type). Monad m => (Integer -> Integer -> Integer) -> (Double -> Double -> Double) -> Value m -> Value m -> Either RuntimeError (Value m) Source #

numericFunc2Catch :: forall (m :: Type -> Type). Monad m => (Integer -> Integer -> Either RuntimeError Integer) -> (Double -> Double -> Either RuntimeError Double) -> Value m -> Value m -> Either RuntimeError (Value m) Source #

intFunc2 :: forall (m :: Type -> Type). Monad m => (Integer -> Integer -> Either RuntimeError Integer) -> Value m -> Value m -> Either RuntimeError (Value m) Source #

floatFunc2 :: forall (m :: Type -> Type). Monad m => (Double -> Double -> Either RuntimeError Double) -> Value m -> Value m -> Either RuntimeError (Value m) Source #

boolFunc2 :: forall (m :: Type -> Type). Monad m => (Bool -> Bool -> Bool) -> Value m -> Value m -> Either RuntimeError (Value m) Source #

native :: (Monad m, MonadTrans t, MonadError RuntimeError (t m)) => m (Either RuntimeError a) -> t m a Source #

encodeText :: forall (m :: Type -> Type) t. (Monad m, MonadError RuntimeError (t m), MonadTrans t, MonadReader (Context m) (t m)) => Text -> t m Encoded Source #

encodeTextWith :: forall (m :: Type -> Type) t. (Monad m, MonadError RuntimeError (t m), MonadTrans t) => Context m -> Text -> t m Encoded Source #

encode :: forall (m :: Type -> Type) t. (Monad m, MonadError RuntimeError (t m), MonadTrans t, MonadReader (Context m) (t m)) => Value m -> t m Encoded Source #

encodeWith :: forall (m :: Type -> Type) t. (Monad m, MonadError RuntimeError (t m), MonadTrans t) => Context m -> Value m -> t m Encoded Source #

stringify :: forall (m :: Type -> Type) t. (Monad m, MonadError RuntimeError (t m), MonadTrans t) => Value m -> t m Text Source #

stringifyKV :: forall (m :: Type -> Type) t. (Monad m, MonadError RuntimeError (t m), MonadTrans t) => (Scalar, Value m) -> t m Text Source #

printfValues :: forall (m :: Type -> Type) t. (Monad m, MonadTrans t) => Text -> Value m -> t m (Value m) Source #

formatValues :: forall (m :: Type -> Type) t. (Monad m, MonadTrans t, MonadError RuntimeError (t m)) => (Value m -> t m FormatArg) -> Text -> [(Maybe Text, Value m)] -> t m (Value m) Source #

dictV :: forall (m :: Type -> Type). [(Scalar, Value m)] -> Value m Source #

(.=) :: forall v (m :: Type -> Type). ToValue v m => Scalar -> v -> (Scalar, Value m) infixr 8 Source #

arbitraryNativeProcedure :: forall (m :: Type -> Type). Monad m => Gen (Procedure m) Source #

arbitraryNative :: forall (m :: Type -> Type). Monad m => Gen (NativeObject m) Source #