PlutusTx.AsData.Internal

valuedirectUnsafeCaseList :: BuiltinList a -> (a, BuiltinList a)

valuedroppableUnsafeCaseList :: (a -> BuiltinList a -> r) -> BuiltinList a -> r

valuewrapCaseData :: BuiltinData -> [BuiltinList BuiltinData -> a] -> a

valuewrapUnsafeDataAsConstr

valuewrapUnsafeDataAsList :: BuiltinData -> BuiltinList BuiltinData