Module
Data.Struct.RenameMany
- Package
- purescript-struct
- Repository
- matthew-hilty/purescript-struct
Re-exports from Data.Struct.RenameMany.GRenameMany
#GRenameMany Source
class GRenameMany (l0 :: RowList) (l1 :: RowList) (l2 :: RowList) | l0 l1 -> l2, l0 l2 -> l1Instances
(GRenameMany_ l0 l1 l2 True) => GRenameMany l0 l1 l2
Re-exports from Data.Struct.RenameMany.RRenameMany
#RRenameMany Source
class RRenameMany (p :: Type -> Type -> Type) (f :: Row Type -> Type) (g :: Row Type -> Type) (l0 :: RowList) (r0 :: Row Type) (l1 :: RowList) (r1 :: Row Type) (l2 :: RowList) (r2 :: Row Type) | l0 -> r0, l1 -> r1, l2 -> r2, l0 l1 -> l2, l0 l2 -> l1 whereMembers
rrenameMany :: GRenameMany l0 l1 l2 => g r0 -> p (f r1) (f r2)
Instances
(ListToRow l1 r1, ReifyKeyAndValueSymbols l0, RowToList r0 l0, RowToList r2 l2) => RRenameMany Builder Record g l0 r0 l1 r1 l2 r2(ListToRow l1 r1, ReifyKeyAndValueSymbols l0, RowToList r0 l0, RowToList r2 l2) => RRenameMany Function Record g l0 r0 l1 r1 l2 r2(RProxying f r2) => RRenameMany Function f g l0 r0 l1 r1 l2 r2
- Modules
- Data.
Struct - Data.
Struct. Compare - Data.
Struct. Compare. Compare - Data.
Struct. Compare. RCompare - Data.
Struct. Const - Data.
Struct. Const. Const - Data.
Struct. Const. RConst - Data.
Struct. Contract - Data.
Struct. Contract. Contract - Data.
Struct. Contract. GContract - Data.
Struct. Contract. RContract - Data.
Struct. ContractOrAlt - Data.
Struct. ContractOrAlt. ContractOrAlt - Data.
Struct. ContractOrAlt. RContractOrAlt - Data.
Struct. Delete - Data.
Struct. Delete. Delete - Data.
Struct. Delete. RDelete - Data.
Struct. DisjointUnion - Data.
Struct. DisjointUnion. DisjointUnion - Data.
Struct. DisjointUnion. RDisjointUnion - Data.
Struct. Empty - Data.
Struct. Empty. REmpty - Data.
Struct. Equal - Data.
Struct. Equal. Equal - Data.
Struct. Equal. REqual - Data.
Struct. Eval - Data.
Struct. Eval. Eval - Data.
Struct. Eval. REval - Data.
Struct. Expand - Data.
Struct. Expand. Expand - Data.
Struct. Expand. RExpand - Data.
Struct. Get - Data.
Struct. Get. Get - Data.
Struct. Get. RGet - Data.
Struct. GetOrAlt - Data.
Struct. GetOrAlt. GetOrAlt - Data.
Struct. GetOrAlt. RGetOrAlt - Data.
Struct. Insert - Data.
Struct. Insert. Insert - Data.
Struct. Insert. RInsert - Data.
Struct. Map - Data.
Struct. Map. GMap - Data.
Struct. Map. Map - Data.
Struct. Map. RMap - Data.
Struct. Match - Data.
Struct. Match. Match - Data.
Struct. Match. RMatch - Data.
Struct. Merge - Data.
Struct. Merge. Merge - Data.
Struct. Merge. RMerge - Data.
Struct. Modify - Data.
Struct. Modify. Modify - Data.
Struct. Modify. RModify - Data.
Struct. Nub - Data.
Struct. Nub. Nub - Data.
Struct. Nub. RNub - Data.
Struct. On - Data.
Struct. On. On - Data.
Struct. On. ROn - Data.
Struct. OnMatch - Data.
Struct. OnMatch. OnMatch - Data.
Struct. OnMatch. ROnMatch - Data.
Struct. Rename - Data.
Struct. Rename. RRename - Data.
Struct. Rename. Rename - Data.
Struct. RenameMany - Data.
Struct. RenameMany. GRenameMany - Data.
Struct. RenameMany. RRenameMany - Data.
Struct. Set - Data.
Struct. Set. RSet - Data.
Struct. Set. Set - Data.
Struct. Singleton - Data.
Struct. Singleton. RSingleton - Data.
Struct. Union - Data.
Struct. Union. RUnion - Data.
Struct. Union. Union - Data.
Struct. Utils. HasSymbol - Data.
Struct. Utils. HasSymbolValue - Data.
Struct. Utils. Record - Data.
Struct. Utils. ReifyKeyAndValueSymbols