PlutusTx.Lift.Class
class Typeable uni (a :: k) where #
Class for types which have a corresponding Plutus IR type. Instances should always be derived, do not write your own instance!
Methods
typeRep :: TyName uni ()) #
class Lift uni a where #
Class for types which can be lifted into Plutus IR. Instances should be derived, do not write your own instance!
lift :: a -> RTCompile uni fun (Quote #