Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var

Documentation

data NewVar Source #

Constructors

EqVar ByteString
FoldVar ByteString ByteString

Instances

Instances details

FromJSON NewVar Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods parseJSON :: Value -> Parser NewVar # parseJSONList :: Value -> Parser [NewVar] #
FromJSONKey NewVar Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods fromJSONKey :: FromJSONKeyFunction NewVar # fromJSONKeyList :: FromJSONKeyFunction [NewVar] #
ToJSON NewVar Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods toJSON :: NewVar -> Value # toEncoding :: NewVar -> Encoding # toJSONList :: [NewVar] -> Value # toEncodingList :: [NewVar] -> Encoding #
ToJSONKey NewVar Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods toJSONKey :: ToJSONKeyFunction NewVar # toJSONKeyList :: ToJSONKeyFunction [NewVar] #
Generic NewVar Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Associated Types type Rep NewVar :: Type -> Type # Methods from :: NewVar -> Rep NewVar x # to :: Rep NewVar x -> NewVar #
Show NewVar Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods showsPrec :: Int -> NewVar -> ShowS # show :: NewVar -> String # showList :: [NewVar] -> ShowS #
Binary NewVar Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods put :: NewVar -> Put # get :: Get NewVar # putList :: [NewVar] -> Put #
NFData NewVar Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods rnf :: NewVar -> () #
Eq NewVar Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods (==) :: NewVar -> NewVar -> Bool # (/=) :: NewVar -> NewVar -> Bool #
Ord NewVar Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods compare :: NewVar -> NewVar -> Ordering # (<) :: NewVar -> NewVar -> Bool # (<=) :: NewVar -> NewVar -> Bool # (>) :: NewVar -> NewVar -> Bool # (>=) :: NewVar -> NewVar -> Bool # max :: NewVar -> NewVar -> NewVar # min :: NewVar -> NewVar -> NewVar #
type Rep NewVar Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var type Rep NewVar = D1 ('MetaData "NewVar" "ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "EqVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)) :+: C1 ('MetaCons "FoldVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data SysVar i Source #

Constructors

InVar (Rep i)
NewVar NewVar

Instances

Instances details

FromJSON (Rep i) => FromJSON (SysVar i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods parseJSON :: Value -> Parser (SysVar i) # parseJSONList :: Value -> Parser [SysVar i] #
FromJSON (Rep i) => FromJSONKey (SysVar i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods fromJSONKey :: FromJSONKeyFunction (SysVar i) # fromJSONKeyList :: FromJSONKeyFunction [SysVar i] #
ToJSON (Rep i) => ToJSON (SysVar i) Source #
Instance details 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) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods toJSONKey :: ToJSONKeyFunction (SysVar i) # toJSONKeyList :: ToJSONKeyFunction [SysVar i] #
Generic (SysVar i) Source #
Instance details 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) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods showsPrec :: Int -> SysVar i -> ShowS # show :: SysVar i -> String # showList :: [SysVar i] -> ShowS #
Binary (Rep i) => Binary (SysVar i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods put :: SysVar i -> Put # get :: Get (SysVar i) # putList :: [SysVar i] -> Put #
NFData (Rep i) => NFData (SysVar i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods rnf :: SysVar i -> () #
Eq (Rep i) => Eq (SysVar i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods (==) :: SysVar i -> SysVar i -> Bool # (/=) :: SysVar i -> SysVar i -> Bool #
Ord (Rep i) => Ord (SysVar i) Source #
Instance details 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) Source #
Instance details 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 NewVar)))

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

data Var a i Source #

Constructors

LinVar a (SysVar i) a
ConstVar a

Instances

Instances details

FromConstant a (Var a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods fromConstant :: a -> Var a i Source #
(FromJSON (Rep i), FromJSON a) => FromJSON (Var a i) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods toJSONKey :: ToJSONKeyFunction (Var a i) # toJSONKeyList :: ToJSONKeyFunction [Var a i] #
Generic (Var a i) Source #
Instance details 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) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods showsPrec :: Int -> Var a i -> ShowS # show :: Var a i -> String # showList :: [Var a i] -> ShowS #
(Binary (Rep i), Binary a) => Binary (Var a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods put :: Var a i -> Put # get :: Get (Var a i) # putList :: [Var a i] -> Put #
(NFData (Rep i), NFData a) => NFData (Var a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var Methods rnf :: Var a i -> () #
(Eq (Rep i), Eq a) => Eq (Var a i) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #

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