Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup

Synopsis

data LookupType a = forall f.(Functor f, Typeable f) => LookupType {
- lTable :: LookupTable a f
}
tryEq :: (Typeable f, Typeable g) => LookupTable a f -> LookupTable a g -> Bool
tryCompare :: (Typeable f, Typeable g) => LookupTable a f -> LookupTable a g -> Ordering
data LookupTable a f where
- Ranges :: Set (a, a) -> LookupTable a Par1
- Product :: LookupTable a f -> LookupTable a g -> LookupTable a (f :*: g)
- Plot :: FunctionId (f a -> g a) -> LookupTable a f -> LookupTable a (f :*: g)
newtype FunctionId f = FunctionId {
- funcHash :: ByteString
}
isRange :: LookupType a -> Bool
fromRange :: LookupType a -> Set (a, a)

Documentation

data LookupType a Source #

Constructors

forall f.(Functor f, Typeable f) => LookupType
Fields lTable :: LookupTable a f

Instances

Instances details

FromJSON a => FromJSON (LookupType a) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods parseJSON :: Value -> Parser (LookupType a) # parseJSONList :: Value -> Parser [LookupType a] #
(FromJSONKey a, FromJSON a) => FromJSONKey (LookupType a) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods fromJSONKey :: FromJSONKeyFunction (LookupType a) # fromJSONKeyList :: FromJSONKeyFunction [LookupType a] #
ToJSON a => ToJSON (LookupType a) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods toJSON :: LookupType a -> Value # toEncoding :: LookupType a -> Encoding # toJSONList :: [LookupType a] -> Value # toEncodingList :: [LookupType a] -> Encoding #
ToJSON a => ToJSONKey (LookupType a) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods toJSONKey :: ToJSONKeyFunction (LookupType a) # toJSONKeyList :: ToJSONKeyFunction [LookupType a] #
Show a => Show (LookupType a) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods showsPrec :: Int -> LookupType a -> ShowS # show :: LookupType a -> String # showList :: [LookupType a] -> ShowS #
NFData (LookupType a) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods rnf :: LookupType a -> () #
Eq a => Eq (LookupType a) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods (==) :: LookupType a -> LookupType a -> Bool # (/=) :: LookupType a -> LookupType a -> Bool #
Ord a => Ord (LookupType a) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods compare :: LookupType a -> LookupType a -> Ordering # (<) :: LookupType a -> LookupType a -> Bool # (<=) :: LookupType a -> LookupType a -> Bool # (>) :: LookupType a -> LookupType a -> Bool # (>=) :: LookupType a -> LookupType a -> Bool # max :: LookupType a -> LookupType a -> LookupType a # min :: LookupType a -> LookupType a -> LookupType a #

tryEq :: (Typeable f, Typeable g) => LookupTable a f -> LookupTable a g -> Bool Source #

tryCompare :: (Typeable f, Typeable g) => LookupTable a f -> LookupTable a g -> Ordering Source #

data LookupTable a f where Source #

LookupTable a f is a type of compact lookup table descriptions using ideas from relational algebra. a is a base field type, f is a functor such that f a is a type whose subset this lookup table describes.

Constructors

Ranges :: Set (a, a) -> LookupTable a Par1	`Ranges` describes a set of disjoint intervals on the base field.
Product :: LookupTable a f -> LookupTable a g -> LookupTable a (f :*: g)	`Product t u` is a cartesian product of tables `t` and `u`.
Plot :: FunctionId (f a -> g a) -> LookupTable a f -> LookupTable a (f :*: g)	`Plot f x` is a plot of a function `f` with `x` as a domain.

Instances

Instances details

FromJSON a => FromJSON (LookupTable a f) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods parseJSON :: Value -> Parser (LookupTable a f) # parseJSONList :: Value -> Parser [LookupTable a f] #
FromJSON a => FromJSONKey (LookupTable a f) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods fromJSONKey :: FromJSONKeyFunction (LookupTable a f) # fromJSONKeyList :: FromJSONKeyFunction [LookupTable a f] #
ToJSON a => ToJSON (LookupTable a f) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods toJSON :: LookupTable a f -> Value # toEncoding :: LookupTable a f -> Encoding # toJSONList :: [LookupTable a f] -> Value # toEncodingList :: [LookupTable a f] -> Encoding #
ToJSON a => ToJSONKey (LookupTable a f) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods toJSONKey :: ToJSONKeyFunction (LookupTable a f) # toJSONKeyList :: ToJSONKeyFunction [LookupTable a f] #
Show a => Show (LookupTable a f) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods showsPrec :: Int -> LookupTable a f -> ShowS # show :: LookupTable a f -> String # showList :: [LookupTable a f] -> ShowS #
Eq a => Eq (LookupTable a f) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods (==) :: LookupTable a f -> LookupTable a f -> Bool # (/=) :: LookupTable a f -> LookupTable a f -> Bool #
Ord a => Ord (LookupTable a f) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods compare :: LookupTable a f -> LookupTable a f -> Ordering # (<) :: LookupTable a f -> LookupTable a f -> Bool # (<=) :: LookupTable a f -> LookupTable a f -> Bool # (>) :: LookupTable a f -> LookupTable a f -> Bool # (>=) :: LookupTable a f -> LookupTable a f -> Bool # max :: LookupTable a f -> LookupTable a f -> LookupTable a f # min :: LookupTable a f -> LookupTable a f -> LookupTable a f #

newtype FunctionId f Source #

Constructors

FunctionId
Fields funcHash :: ByteString

Instances

Instances details

Generic (FunctionId f) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Associated Types type Rep (FunctionId f) :: Type -> Type # Methods from :: FunctionId f -> Rep (FunctionId f) x # to :: Rep (FunctionId f) x -> FunctionId f #
Show (FunctionId f) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods showsPrec :: Int -> FunctionId f -> ShowS # show :: FunctionId f -> String # showList :: [FunctionId f] -> ShowS #
Eq (FunctionId f) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods (==) :: FunctionId f -> FunctionId f -> Bool # (/=) :: FunctionId f -> FunctionId f -> Bool #
Ord (FunctionId f) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup Methods compare :: FunctionId f -> FunctionId f -> Ordering # (<) :: FunctionId f -> FunctionId f -> Bool # (<=) :: FunctionId f -> FunctionId f -> Bool # (>) :: FunctionId f -> FunctionId f -> Bool # (>=) :: FunctionId f -> FunctionId f -> Bool # max :: FunctionId f -> FunctionId f -> FunctionId f # min :: FunctionId f -> FunctionId f -> FunctionId f #
type Rep (FunctionId f) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup type Rep (FunctionId f) = D1 ('MetaData "FunctionId" "ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup" "symbolic-base-0.1.0.0-inplace" 'True) (C1 ('MetaCons "FunctionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "funcHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

isRange :: LookupType a -> Bool Source #

fromRange :: LookupType a -> Set (a, a) Source #