Module
Data.Struct.RenameMany.GRenameMany
- Package
- purescript-struct
- Repository
- matthew-hilty/purescript-struct
#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
#GRenameMany_ Source
class GRenameMany_ (l0 :: RowList) (l1 :: RowList) (l2 :: RowList) (continue :: Boolean) | l0 l1 -> l2, l0 l2 -> l1Instances
GRenameMany_ l0 l1 l2 FalseGRenameMany_ Nil l l True(Equals sb s2 eq, Not eq uneq, If eq (RLProxy (Cons sa v l1_ifEq')) (RLProxy l1_ifUneq) (RLProxy l1), HasSymbolValue_ l0' s2 has uneq, Not has lacks, And uneq has uneqAndHas, And uneq lacks uneqAndLacks, If has (RLProxy l1_ifHas) (RLProxy (Cons s2 v l1_ifLacks')) (RLProxy l1_ifUneq), GRenameMany_ l0' l1_ifEq' l2' eq, GRenameMany_ l0' lx (Cons s2 v l2') uneqAndHas, GRenameMany_ (Cons sa (f sb) Nil) l1_ifHas lx uneqAndHas, GRenameMany_ (Cons sa (f sb) l0') l1_ifLacks' l2' uneqAndLacks) => GRenameMany_ (Cons sa (f sb) l0') l1 (Cons s2 v l2') True
- 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