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

ZkFold.Symbolic.Cardano.UPLC.Type

Documentation

data SomeType a where Source #

Constructors

NoType :: SomeType a 
AnyType :: SomeType a 
AnyBuiltinType :: SomeType a 
SomeSym :: SomeSymbolic a -> SomeType a 
SomeFunction :: SomeType a -> SomeType a -> SomeType a 

Instances

Instances details
Semigroup (SomeType a) Source # 
Instance details

Defined in ZkFold.Symbolic.Cardano.UPLC.Type

Methods

(<>) :: SomeType a -> SomeType a -> SomeType a #

sconcat :: NonEmpty (SomeType a) -> SomeType a #

stimes :: Integral b => b -> SomeType a -> SomeType a #

Eq (SomeType a) Source # 
Instance details

Defined in ZkFold.Symbolic.Cardano.UPLC.Type

Methods

(==) :: SomeType a -> SomeType a -> Bool #

(/=) :: SomeType a -> SomeType a -> Bool #

data SomeSymbolic a where Source #

Constructors

SomeData :: forall a (t :: Type). (Typeable t, SymbolicData a t) => Proxy t -> SomeSymbolic a 
SomeArith :: forall a (t :: Type). (Typeable t, Arithmetizable a t) => Proxy t -> SomeSymbolic a 

Instances

Instances details
Semigroup (SomeSymbolic a) Source # 
Instance details

Defined in ZkFold.Symbolic.Cardano.UPLC.Type

Methods

(<>) :: SomeSymbolic a -> SomeSymbolic a -> SomeSymbolic a #

sconcat :: NonEmpty (SomeSymbolic a) -> SomeSymbolic a #

stimes :: Integral b => b -> SomeSymbolic a -> SomeSymbolic a #

Eq (SomeSymbolic a) Source # 
Instance details

Defined in ZkFold.Symbolic.Cardano.UPLC.Type

Methods

(==) :: SomeSymbolic a -> SomeSymbolic a -> Bool #

(/=) :: SomeSymbolic a -> SomeSymbolic a -> Bool #

getType :: SomeSymbolic a -> TypeRep Source #

symToSym :: SomeSymbolic a -> SomeSymbolic a -> SomeSymbolic a Source #

functionToData :: SomeType a -> SomeType a Source #