Module
LabeledData.TransformEntry
- Package
- purescript-labeled-data
- Repository
- thought2/purescript-labeled-data
#TransformEntry Source
class TransformEntry :: Type -> Symbol -> Symbol -> Type -> Type -> Constraintclass TransformEntry tok sym sym' a a' | tok sym a -> sym' a' where
Members
transformEntry :: Proxy tok -> Proxy sym -> Proxy sym' -> a -> a'untransformEntry :: Proxy tok -> Proxy sym' -> Proxy sym -> a' -> a
Instances
(TransformEntry tokB sym sym' a a', TransformEntry tokA sym' sym'' a' a'') => TransformEntry (Tuple tokA tokB) sym sym'' a a''