plutus-ledger-0.1.0.0: Wallet API
Safe HaskellNone
LanguageHaskell2010

Ledger.Typed.TypeUtils

Synopsis

Documentation

data Any Source #

Instances

Instances details
Eq Any Source # 
Instance details

Defined in Ledger.Typed.TypeUtils

Methods

(==) :: Any -> Any -> Bool Source #

(/=) :: Any -> Any -> Bool Source #

Show Any Source # 
Instance details

Defined in Ledger.Typed.TypeUtils

Generic Any Source # 
Instance details

Defined in Ledger.Typed.TypeUtils

Associated Types

type Rep Any :: Type -> Type Source #

Methods

from :: Any -> Rep Any x Source #

to :: Rep Any x -> Any Source #

ToJSON Any Source # 
Instance details

Defined in Ledger.Typed.TypeUtils

ValidatorTypes Any Source # 
Instance details

Defined in Ledger.Typed.Scripts.Validators

Associated Types

type RedeemerType Any Source #

type DatumType Any Source #

type Rep Any Source # 
Instance details

Defined in Ledger.Typed.TypeUtils

type Rep Any = D1 ('MetaData "Any" "Ledger.Typed.TypeUtils" "plutus-ledger-0.1.0.0-BAhdPNOPbMF52ZvZJtxBkz" 'False) (V1 :: Type -> Type)
type RedeemerType Any Source # 
Instance details

Defined in Ledger.Typed.Scripts.Validators

type DatumType Any Source # 
Instance details

Defined in Ledger.Typed.Scripts.Validators

data HListF (f :: Type -> Type) (l :: [Type]) where Source #

A heterogeneous list where every element is wrapped with the given functor.

Constructors

HNilF :: HListF f '[] 
HConsF :: f e -> HListF f l -> HListF f (e ': l) 

hfOut :: forall o f (ts :: [Type]). (forall a. f a -> o) -> HListF f ts -> [o] Source #

Turn a HListF into a homogeneous list. Requires a very polymorphic function, likely something like coerce.