DictionaryKPartial

public final class DictionaryKPartial<K> : Kind<ForDictionaryK, K> where K : Hashable

Partial application of the DictionaryK type constructor, omitting the last parameter.

Instance of EquatableK for DictionaryK

Declaration

Swift

public static func eq<A: Equatable>(
    _ lhs: DictionaryKOf<K, A>,
    _ rhs: DictionaryKOf<K, A>) -> Bool

Instance of HashableK for DictionaryK


                    
                    
                    
                      hash(_:into:)

Declaration

Swift

public static func hash<A>(_ fa: DictionaryKOf<K, A>, into hasher: inout Hasher) where A : Hashable

Instance of Functor for DictionaryK

Declaration

Swift

public static func map<A, B>(
    _ fa: DictionaryKOf<K, A>,
    _ f: @escaping (A) -> B) -> DictionaryKOf<K, B>

Instance of FunctorFilter for DictionaryK


                    
                    
                    
                      mapFilter(_:_:)

Declaration

Swift

public static func mapFilter<A, B>(
    _ fa: DictionaryKOf<K, A>,
    _ f: @escaping (A) -> OptionOf<B>) -> DictionaryKOf<K, B>

Instance of Foldable for DictionaryK


                    
                    
                    
                      foldLeft(_:_:_:)

Declaration

Swift

public static func foldLeft<A, B>(
    _ fa: DictionaryKOf<K, A>,
    _ b: B,
    _ f: @escaping (B, A) -> B) -> B


                    
                    
                    
                      foldRight(_:_:_:)

Declaration

Swift

public static func foldRight<A, B>(
    _ fa: DictionaryKOf<K, A>,
    _ b: Eval<B>,
    _ f: @escaping (A, Eval<B>) -> Eval<B>) -> Eval<B>

Instance of Traverse for DictionaryK


                    
                    
                    
                      traverse(_:_:)

Declaration

Swift

public static func traverse<G: Applicative, A, B>(
    _ fa: DictionaryKOf<K, A>,
    _ f: @escaping (A) -> Kind<G, B>) -> Kind<G, DictionaryKOf<K, B>>