Module
Data.Struct.ContractOrAlt
- Package
- purescript-struct
- Repository
- matthew-hilty/purescript-struct
Re-exports from Data.Struct.ContractOrAlt.ContractOrAlt
#contractOrAlt Source
contractOrAlt :: forall r1 r0 r p l1 l0 h f. Alternative h => Keys l1 => RContractOrAlt p f l0 r0 l1 r1 => RowToList r0 l0 => RowToList r1 l1 => Union r1 r r0 => p (f r0) (h (f r1))Re-exports from Data.Struct.ContractOrAlt.RContractOrAlt
#RContractOrAlt Source
class RContractOrAlt (p :: Type -> Type -> Type) (f :: Row Type -> Type) (l0 :: RowList) (r0 :: Row Type) (l1 :: RowList) (r1 :: Row Type) | l0 -> r0, l1 -> r1 whereMembers
rcontractOrAlt :: forall r h g. Alternative h => RLProxying g l0 => RLProxying g l1 => Union r1 r r0 => g l0 -> g l1 -> p (f r0) (h (f r1))
Instances
(Keys l1, RowToList r1 l1, ListToRow l1 r1) => RContractOrAlt Function Record l0 r0 l1 r1(Contractable r0 r1) => RContractOrAlt Function Variant l0 r0 l1 r1(RProxying f r1) => RContractOrAlt Function f l0 r0 l1 r1
- 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