Module

Data.Struct.OnMatch

Package
purescript-struct
Repository
matthew-hilty/purescript-struct

Re-exports from Data.Struct.OnMatch.OnMatch

#onMatch Source

onMatch :: forall v r3 r2 r1 r0 l3 l2 l1 l0 g f. ROnMatch f g v l0 r0 l1 r1 l2 r2 l3 r3 => RowToList r0 l0 => RowToList r1 l1 => RowToList r2 l2 => RowToList r3 l3 => Union r1 r2 r3 => f r0 -> (g r2 -> v) -> g r3 -> v

Re-exports from Data.Struct.OnMatch.ROnMatch

#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 where

Members

Instances

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