​

Data Types

​

data AnyView

Existential contract key type that can wrap an arbitrary contract key. Constructors:

• AnyView

Instances:

• instance GetField getAnyView AnyView Any
• instance GetField getAnyViewInterfaceTypeRep AnyView InterfaceTypeRep
• instance SetField getAnyView AnyView Any
• instance SetField getAnyViewInterfaceTypeRep AnyView InterfaceTypeRep

​

data InterfaceTypeRep

Constructors:

• InterfaceTypeRep

Instances:

• instance GetField getAnyViewInterfaceTypeRep AnyView InterfaceTypeRep
• instance SetField getAnyViewInterfaceTypeRep AnyView InterfaceTypeRep
• instance Eq InterfaceTypeRep
• instance Ord InterfaceTypeRep

​

History