ginger2-2.2.0.0: Jinja templates for Haskell
Safe HaskellNone
LanguageHaskell2010

Language.Ginger.Interpret.Builtins

Documentation

type BuiltinAttribs a (m :: Type -> Type) = Map Identifier (a -> m (Either RuntimeError (Value m))) Source #

builtinGlobals :: forall (m :: Type -> Type). Monad m => (Expr -> GingerT m (Value m)) -> Map Identifier (Value m) Source #

builtinGlobalsNonJinja :: forall (m :: Type -> Type). Monad m => (Expr -> GingerT m (Value m)) -> Map Identifier (Value m) Source #

builtinIntAttribs :: Monad m => BuiltinAttribs Integer m Source #

builtinFloatAttribs :: Monad m => BuiltinAttribs Double m Source #

builtinBoolAttribs :: Monad m => BuiltinAttribs Bool m Source #

builtinStringAttribs :: Monad m => BuiltinAttribs Text m Source #

builtinListAttribs :: Monad m => BuiltinAttribs (Vector (Value m)) m Source #

builtinDictAttribs :: Monad m => BuiltinAttribs (Map Scalar (Value m)) m Source #

regexModule :: forall (m :: Type -> Type). Monad m => Value m Source #

runReWith :: forall a (m :: Type -> Type). Monad m => (Regex -> Text -> a) -> Text -> Text -> Text -> ExceptT RuntimeError m a Source #

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

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

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

parseCompOpts :: Text -> CompOption Source #

convertMatchOnceText :: Maybe (Text, MatchText Text, Text) -> Maybe [Text] Source #

convertMatchText :: MatchText Text -> [Text] Source #

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

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

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

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

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

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

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

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

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

valueSum :: forall (m :: Type -> Type). [Value m] -> Value m Source #

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

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

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

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

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

data DictSortBy Source #

Constructors

ByKey 
ByValue 

Instances

Instances details
Bounded DictSortBy Source # 
Instance details

Defined in Language.Ginger.Interpret.Builtins

Methods

minBound :: DictSortBy #

maxBound :: DictSortBy #

Enum DictSortBy Source # 
Instance details

Defined in Language.Ginger.Interpret.Builtins

Methods

succ :: DictSortBy -> DictSortBy #

pred :: DictSortBy -> DictSortBy #

toEnum :: Int -> DictSortBy #

fromEnum :: DictSortBy -> Int #

enumFrom :: DictSortBy -> [DictSortBy] #

enumFromThen :: DictSortBy -> DictSortBy -> [DictSortBy] #

enumFromTo :: DictSortBy -> DictSortBy -> [DictSortBy] #

enumFromThenTo :: DictSortBy -> DictSortBy -> DictSortBy -> [DictSortBy] #

Read DictSortBy Source # 
Instance details

Defined in Language.Ginger.Interpret.Builtins

Methods

readsPrec :: Int -> ReadS DictSortBy #

readList :: ReadS [DictSortBy] #

readPrec :: ReadPrec DictSortBy #

readListPrec :: ReadPrec [DictSortBy] #

Show DictSortBy Source # 
Instance details

Defined in Language.Ginger.Interpret.Builtins

Methods

showsPrec :: Int -> DictSortBy -> ShowS #

show :: DictSortBy -> String #

showList :: [DictSortBy] -> ShowS #

Eq DictSortBy Source # 
Instance details

Defined in Language.Ginger.Interpret.Builtins

Methods

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

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

Ord DictSortBy Source # 
Instance details

Defined in Language.Ginger.Interpret.Builtins

Methods

compare :: DictSortBy -> DictSortBy -> Ordering #

(<) :: DictSortBy -> DictSortBy -> Bool #

(<=) :: DictSortBy -> DictSortBy -> Bool #

(>) :: DictSortBy -> DictSortBy -> Bool #

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

max :: DictSortBy -> DictSortBy -> DictSortBy #

min :: DictSortBy -> DictSortBy -> DictSortBy #

Monad m => FromValue DictSortBy m Source # 
Instance details

Defined in Language.Ginger.Interpret.Builtins

Methods

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

ToValue DictSortBy m Source # 
Instance details

Defined in Language.Ginger.Interpret.Builtins

Methods

toValue :: DictSortBy -> Value m Source #

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

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

fnSelect :: forall (m :: Type -> Type). Monad m => (Expr -> GingerT m (Value m)) -> Filter m Source #

fnReject :: forall (m :: Type -> Type). Monad m => (Expr -> GingerT m (Value m)) -> Filter m Source #

fnSelectReject :: forall (m :: Type -> Type). Monad m => Bool -> Text -> Text -> (Expr -> GingerT m (Value m)) -> Filter m Source #

fnMap :: forall (m :: Type -> Type). Monad m => (Expr -> GingerT m (Value m)) -> Filter m Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

newtype FileSize Source #

Constructors

FileSize Integer 

Instances

Instances details
Monad m => FromValue FileSize m Source # 
Instance details

Defined in Language.Ginger.Interpret.Builtins

Methods

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

ToValue FileSize m Source # 
Instance details

Defined in Language.Ginger.Interpret.Builtins

Methods

toValue :: FileSize -> Value m Source #

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

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

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

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

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

autoParseDate :: TimeZone -> Text -> Maybe ZonedTime Source #

dateFromParts :: forall (m :: Type -> Type). Monad m => TimeZone -> [Value m] -> Maybe ZonedTime Source #

parseTZ :: forall (m :: Type -> Type). Value m -> Maybe TimeZone Source #

convertTZ :: Maybe TimeZone -> ZonedTime -> ZonedTime Source #

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

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

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

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

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

isBoolean :: forall (m :: Type -> Type). Bool -> Value m -> Value m Source #

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

isDecimal :: Text -> Bool Source #

allEitherBool :: [Either a Bool] -> Either a Bool Source #

getAttrRaw :: Monad m => Value m -> Identifier -> m (Either RuntimeError (Maybe (Value m))) Source #

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

getAttrOrItemRaw :: Monad m => Value m -> Identifier -> m (Either RuntimeError (Maybe (Value m))) Source #

getItemOrAttrRaw :: Monad m => Value m -> Value m -> m (Either RuntimeError (Maybe (Value m))) Source #

nativeMethod :: forall (m :: Type -> Type). Procedure m -> Value m -> Value m Source #

nativePureMethod :: forall (m :: Type -> Type). Monad m => ObjectID -> Maybe ProcedureDoc -> (Value m -> Either RuntimeError (Value m)) -> Value m -> Value m Source #

toNativeMethod :: forall (m :: Type -> Type) a. ToNativeProcedure m a => ObjectID -> Maybe ProcedureDoc -> a -> Value m -> Value m Source #

pureAttrib :: Applicative m => (s -> a) -> s -> m (Either RuntimeError a) Source #

textBuiltin :: forall (m :: Type -> Type) a. (Monad m, ToValue a m) => ObjectID -> Maybe ProcedureDoc -> (Text -> a) -> Value m Source #

intBuiltin :: forall (m :: Type -> Type) a. (Monad m, ToValue a m) => ObjectID -> Maybe ProcedureDoc -> (Integer -> a) -> Value m Source #

numericBuiltin :: forall (m :: Type -> Type). Monad m => ObjectID -> Maybe ProcedureDoc -> (Integer -> Integer) -> (Double -> Double) -> Value m Source #

anyBuiltin :: forall (m :: Type -> Type) a b. (Monad m, FromValue a m, ToValue b m) => ObjectID -> Maybe ProcedureDoc -> (a -> b) -> Value m Source #

boolProp :: (Monad m, ToValue a m) => (Bool -> a) -> Bool -> m (Either RuntimeError (Value m)) Source #

boolAttrib :: (Monad m, ToValue a m) => ObjectID -> Maybe ProcedureDoc -> (Bool -> a) -> Bool -> m (Either RuntimeError (Value m)) Source #

boolNProcAttrib :: (Monad m, ToNativeProcedure m a) => ObjectID -> Maybe ProcedureDoc -> (Value m -> a) -> Bool -> m (Either RuntimeError (Value m)) Source #

boolProcAttrib :: Monad m => Procedure m -> Bool -> m (Either RuntimeError (Value m)) Source #

intProp :: (Monad m, ToValue a m) => (Integer -> a) -> Integer -> m (Either RuntimeError (Value m)) Source #

intAttrib :: (Monad m, ToValue a m) => ObjectID -> Maybe ProcedureDoc -> (Integer -> a) -> Integer -> m (Either RuntimeError (Value m)) Source #

intNProcAttrib :: (Monad m, ToNativeProcedure m a) => ObjectID -> Maybe ProcedureDoc -> (Value m -> a) -> Integer -> m (Either RuntimeError (Value m)) Source #

intProcAttrib :: Monad m => Procedure m -> Integer -> m (Either RuntimeError (Value m)) Source #

floatProp :: (Monad m, ToValue a m) => (Double -> a) -> Double -> m (Either RuntimeError (Value m)) Source #

floatAttrib :: (Monad m, ToValue a m) => ObjectID -> Maybe ProcedureDoc -> (Double -> a) -> Double -> m (Either RuntimeError (Value m)) Source #

floatNProcAttrib :: (Monad m, ToNativeProcedure m a) => ObjectID -> Maybe ProcedureDoc -> (Value m -> a) -> Double -> m (Either RuntimeError (Value m)) Source #

floatProcAttrib :: Monad m => Procedure m -> Double -> m (Either RuntimeError (Value m)) Source #

textProp :: (Monad m, ToValue a m) => (Text -> a) -> Text -> m (Either RuntimeError (Value m)) Source #

textAttrib :: (Monad m, ToValue a m) => ObjectID -> Maybe ProcedureDoc -> (Text -> a) -> Text -> m (Either RuntimeError (Value m)) Source #

textNProcAttrib :: (Monad m, ToNativeProcedure m a) => ObjectID -> Maybe ProcedureDoc -> (Value m -> a) -> Text -> m (Either RuntimeError (Value m)) Source #

textProcAttrib :: Monad m => Procedure m -> Text -> m (Either RuntimeError (Value m)) Source #

dictProp :: (Monad m, ToValue a m) => (Map Scalar (Value m) -> a) -> Map Scalar (Value m) -> m (Either RuntimeError (Value m)) Source #

dictAttrib :: (Monad m, ToValue a m) => ObjectID -> Maybe ProcedureDoc -> (Map Scalar (Value m) -> a) -> Map Scalar (Value m) -> m (Either RuntimeError (Value m)) Source #

dictNProcAttrib :: (Monad m, ToNativeProcedure m a) => ObjectID -> Maybe ProcedureDoc -> (Value m -> a) -> Map Scalar (Value m) -> m (Either RuntimeError (Value m)) Source #

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

builtinNotImplemented :: forall (m :: Type -> Type). Monad m => Text -> Value m Source #

fnMaybeArg :: forall (m :: Type -> Type) b. Monad m => Text -> Text -> Maybe b -> ExceptT RuntimeError m b Source #

fnArg :: forall (m :: Type -> Type) a. (Monad m, FromValue a m) => Text -> Identifier -> Map Identifier (Value m) -> ExceptT RuntimeError m a Source #

describeArg :: forall (m :: Type -> Type). Identifier -> Maybe (Value m) -> Maybe TypeDoc -> Text -> ArgumentDoc Source #

mkFn0' :: forall (m :: Type -> Type) r. (Monad m, ToValue r m) => Text -> Text -> Maybe TypeDoc -> (Context m -> SomePRNG -> ExceptT RuntimeError m r) -> Procedure m Source #

mkFn0 :: forall (m :: Type -> Type) r. (Monad m, ToValue r m) => Text -> Text -> Maybe TypeDoc -> ExceptT RuntimeError m r -> Procedure m Source #

mkFn1' :: forall (m :: Type -> Type) a r. (Monad m, ToValue a m, FromValue a m, ToValue r m) => Text -> Text -> (Identifier, Maybe a, Maybe TypeDoc, Text) -> Maybe TypeDoc -> (Context m -> SomePRNG -> a -> ExceptT RuntimeError m r) -> Procedure m Source #

mkFn1 :: forall (m :: Type -> Type) a r. (Monad m, ToValue a m, FromValue a m, ToValue r m) => Text -> Text -> (Identifier, Maybe a, Maybe TypeDoc, Text) -> Maybe TypeDoc -> (a -> ExceptT RuntimeError m r) -> Procedure m Source #

mkFn2' :: forall (m :: Type -> Type) a1 a2 r. (Monad m, ToValue a1 m, FromValue a1 m, ToValue a2 m, FromValue a2 m, ToValue r m) => Text -> Text -> (Identifier, Maybe a1, Maybe TypeDoc, Text) -> (Identifier, Maybe a2, Maybe TypeDoc, Text) -> Maybe TypeDoc -> (Context m -> SomePRNG -> a1 -> a2 -> ExceptT RuntimeError m r) -> Procedure m Source #

mkFn2 :: forall (m :: Type -> Type) a1 a2 r. (Monad m, ToValue a1 m, FromValue a1 m, ToValue a2 m, FromValue a2 m, ToValue r m) => Text -> Text -> (Identifier, Maybe a1, Maybe TypeDoc, Text) -> (Identifier, Maybe a2, Maybe TypeDoc, Text) -> Maybe TypeDoc -> (a1 -> a2 -> ExceptT RuntimeError m r) -> Procedure m Source #

mkFn3' :: forall (m :: Type -> Type) a1 a2 a3 r. (Monad m, ToValue a1 m, FromValue a1 m, ToValue a2 m, FromValue a2 m, ToValue a3 m, FromValue a3 m, ToValue r m) => Text -> Text -> (Identifier, Maybe a1, Maybe TypeDoc, Text) -> (Identifier, Maybe a2, Maybe TypeDoc, Text) -> (Identifier, Maybe a3, Maybe TypeDoc, Text) -> Maybe TypeDoc -> (Context m -> SomePRNG -> a1 -> a2 -> a3 -> ExceptT RuntimeError m r) -> Procedure m Source #

mkFn3 :: forall (m :: Type -> Type) a1 a2 a3 r. (Monad m, ToValue a1 m, FromValue a1 m, ToValue a2 m, FromValue a2 m, ToValue a3 m, FromValue a3 m, ToValue r m) => Text -> Text -> (Identifier, Maybe a1, Maybe TypeDoc, Text) -> (Identifier, Maybe a2, Maybe TypeDoc, Text) -> (Identifier, Maybe a3, Maybe TypeDoc, Text) -> Maybe TypeDoc -> (a1 -> a2 -> a3 -> ExceptT RuntimeError m r) -> Procedure m Source #

mkFn4' :: forall (m :: Type -> Type) a1 a2 a3 a4 r. (Monad m, ToValue a1 m, FromValue a1 m, ToValue a2 m, FromValue a2 m, ToValue a3 m, FromValue a3 m, ToValue a4 m, FromValue a4 m, ToValue r m) => Text -> Text -> (Identifier, Maybe a1, Maybe TypeDoc, Text) -> (Identifier, Maybe a2, Maybe TypeDoc, Text) -> (Identifier, Maybe a3, Maybe TypeDoc, Text) -> (Identifier, Maybe a4, Maybe TypeDoc, Text) -> Maybe TypeDoc -> (Context m -> SomePRNG -> a1 -> a2 -> a3 -> a4 -> ExceptT RuntimeError m r) -> Procedure m Source #

mkFn4 :: forall (m :: Type -> Type) a1 a2 a3 a4 r. (Monad m, ToValue a1 m, FromValue a1 m, ToValue a2 m, FromValue a2 m, ToValue a3 m, FromValue a3 m, ToValue a4 m, FromValue a4 m, ToValue r m) => Text -> Text -> (Identifier, Maybe a1, Maybe TypeDoc, Text) -> (Identifier, Maybe a2, Maybe TypeDoc, Text) -> (Identifier, Maybe a3, Maybe TypeDoc, Text) -> (Identifier, Maybe a4, Maybe TypeDoc, Text) -> Maybe TypeDoc -> (a1 -> a2 -> a3 -> a4 -> ExceptT RuntimeError m r) -> Procedure m Source #