Moduleplutus-tx-1.70.0.0

PlutusTx.Blueprint.Definition.Internal

valueaddDefinition :: Definitions ts -> Definition t ts -> Definitions ts

valuedefinitionsToMap

datadata Definition (t :: k) (ts :: [Type])

Instances1Show

Show (Definition t ts)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Internal

datadata Definitions (ts :: [Type]) where

Instances1Show

Show (Definitions ts)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Internal

typetype HasSchemaDefinition t (ts :: [Type]) = HasSchemaDefinition' t ts ts

familytype family HasSchemaDefinition' n (xs :: [Type]) (xs0 :: [Type]) :: Constraint where

HasSchemaDefinition' x (x ': xs) _1 = ()
HasSchemaDefinition' x (_1 ': xs) xs0 = HasSchemaDefinition' x xs xs0
HasSchemaDefinition' n xs xs0 = TypeError (('ShowType n ':<>: 'Text " type was not found in the list of types having schema definitions: ") ':<>: 'ShowType xs0)