ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Documentation

data SysVar i

Constructors

InVar (Rep i)

NewVar ByteString

Instances

FromJSON (Rep i) => FromJSON (SysVar i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

parseJSON :: Value -> Parser (SysVar i)

parseJSONList :: Value -> Parser [SysVar i]

FromJSON (Rep i) => FromJSONKey (SysVar i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

fromJSONKey :: FromJSONKeyFunction (SysVar i)

fromJSONKeyList :: FromJSONKeyFunction [SysVar i]

ToJSON (Rep i) => ToJSON (SysVar i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

toJSON :: SysVar i -> Value

toEncoding :: SysVar i -> Encoding

toJSONList :: [SysVar i] -> Value

toEncodingList :: [SysVar i] -> Encoding

ToJSON (Rep i) => ToJSONKey (SysVar i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

toJSONKey :: ToJSONKeyFunction (SysVar i)

toJSONKeyList :: ToJSONKeyFunction [SysVar i]

Generic (SysVar i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Associated Types

type Rep (SysVar i) :: Type -> Type

Methods

from :: SysVar i -> Rep (SysVar i) x

to :: Rep (SysVar i) x -> SysVar i

Show (Rep i) => Show (SysVar i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

showsPrec :: Int -> SysVar i -> ShowS

show :: SysVar i -> String

showList :: [SysVar i] -> ShowS

NFData (Rep i) => NFData (SysVar i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

rnf :: SysVar i -> ()

Eq (Rep i) => Eq (SysVar i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

(==) :: SysVar i -> SysVar i -> Bool

(/=) :: SysVar i -> SysVar i -> Bool

Ord (Rep i) => Ord (SysVar i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

compare :: SysVar i -> SysVar i -> Ordering

(<) :: SysVar i -> SysVar i -> Bool

(<=) :: SysVar i -> SysVar i -> Bool

(>) :: SysVar i -> SysVar i -> Bool

(>=) :: SysVar i -> SysVar i -> Bool

max :: SysVar i -> SysVar i -> SysVar i

min :: SysVar i -> SysVar i -> SysVar i

type Rep (SysVar i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

type Rep (SysVar i) = D1 ('MetaData "SysVar" "ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "InVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Rep i))) :+: C1 ('MetaCons "NewVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

imapSysVar :: (Representable i, Representable j) => (forall x. j x -> i x) -> SysVar i -> SysVar j

data Var a i

Constructors

LinVar a (SysVar i) a

ConstVar a

Instances

FromConstant a (Var a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

fromConstant :: a -> Var a i

(FromJSON (Rep i), FromJSON a) => FromJSON (Var a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

parseJSON :: Value -> Parser (Var a i)

parseJSONList :: Value -> Parser [Var a i]

(FromJSON (Rep i), FromJSON a) => FromJSONKey (Var a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

fromJSONKey :: FromJSONKeyFunction (Var a i)

fromJSONKeyList :: FromJSONKeyFunction [Var a i]

(ToJSON (Rep i), ToJSON a) => ToJSON (Var a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

toJSON :: Var a i -> Value

toEncoding :: Var a i -> Encoding

toJSONList :: [Var a i] -> Value

toEncodingList :: [Var a i] -> Encoding

(ToJSON (Rep i), ToJSON a) => ToJSONKey (Var a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

toJSONKey :: ToJSONKeyFunction (Var a i)

toJSONKeyList :: ToJSONKeyFunction [Var a i]

Generic (Var a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Associated Types

type Rep (Var a i) :: Type -> Type

Methods

from :: Var a i -> Rep (Var a i) x

to :: Rep (Var a i) x -> Var a i

(Show (Rep i), Show a) => Show (Var a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

showsPrec :: Int -> Var a i -> ShowS

show :: Var a i -> String

showList :: [Var a i] -> ShowS

(NFData (Rep i), NFData a) => NFData (Var a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

rnf :: Var a i -> ()

(Eq (Rep i), Eq a) => Eq (Var a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

(==) :: Var a i -> Var a i -> Bool

(/=) :: Var a i -> Var a i -> Bool

(Ord (Rep i), Ord a) => Ord (Var a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Methods

compare :: Var a i -> Var a i -> Ordering

(<) :: Var a i -> Var a i -> Bool

(<=) :: Var a i -> Var a i -> Bool

(>) :: Var a i -> Var a i -> Bool

(>=) :: Var a i -> Var a i -> Bool

max :: Var a i -> Var a i -> Var a i

min :: Var a i -> Var a i -> Var a i

type Rep (Var a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

type Rep (Var a i) = D1 ('MetaData "Var" "ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "LinVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SysVar i)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: C1 ('MetaCons "ConstVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

toVar :: Semiring a => SysVar i -> Var a i

imapVar :: (Representable i, Representable j) => (forall x. j x -> i x) -> Var a i -> Var a j