-- |

-- Module      : JsonLogic.Pure.Type

-- Description : JsonLogic Pure types

-- Copyright   : (c) Marien Matser, Gerard van Schie, Jelle Teeuwissen, 2022

-- License     : MIT

-- Maintainer  : jelleteeuwissen@hotmail.nl

-- Stability   : experimental

module JsonLogic.Pure.Type (Result, SubEvaluator, Function, Operation, Operations, throw, T.Exception (..)) where

import qualified Data.Map as M
import JsonLogic.Json
import qualified JsonLogic.Type as T

-- | A result is an exception or a value.

type Result r = Either T.Exception r

-- | A subevaluator takes a rule and data and returns a result of Json.

type SubEvaluator = Rule -> Data -> Result Json

-- | A function takes a subevaluator, rule and data and returns a result.

type Function r = SubEvaluator -> Rule -> Data -> Result r

-- | An operation is a Json function with a name.

type Operation = (String, Function Json)

-- | Operations is a Map from the operation name to the operation function.

type Operations = M.Map String (Function Json)

-- | Throw an evaluation exception.

throw :: String -> Result a
throw :: String -> Result a
throw = Exception -> Result a
forall a b. a -> Either a b
Left (Exception -> Result a)
-> (String -> Exception) -> String -> Result a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> Exception
T.EvalException