Module
Data.Struct.OnMatch.ROnMatch
- Package
- purescript-struct
- Repository
- matthew-hilty/purescript-struct
#ROnMatch Source
class ROnMatch (f :: Row Type -> Type) (g :: Row Type -> Type) (v :: Type) (l0 :: RowList) (r0 :: Row Type) (l1 :: RowList) (r1 :: Row Type) (l2 :: RowList) (r2 :: Row Type) (l3 :: RowList) (r3 :: Row Type) | l0 -> r0, l1 -> r1, l2 -> r2, l3 -> r3 whereMembers
ronMatch :: forall h. RLProxying h l0 => RLProxying h l1 => RLProxying h l2 => RLProxying h l3 => Union r1 r2 r3 => h l0 -> h l1 -> h l2 -> h l3 -> f r0 -> (g r2 -> v) -> g r3 -> v
Instances
(RowToList r0 l0, VariantMatchCases l0 r1 v) => ROnMatch Record Variant v l0 r0 l1 r1 l2 r2 l3 r3
- 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