symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

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 #