Safe Haskell	None
Language	Haskell2010

Data.SOP.Strict

Contents

Description

Strict variant of SOP

Synopsis

module Data.SOP.Strict.NP
module Data.SOP.Strict.NS
fn_5 ∷ ∀ {k} f0 (a ∷ k) f1 f2 f3 f4 f5. (f0 a → f1 a → f2 a → f3 a → f4 a → f5 a) → (f0 -.-> (f1 -.-> (f2 -.-> (f3 -.-> (f4 -.-> f5))))) a
module Data.SOP.Classes

Documentation

fn

fn_5 ∷ ∀ {k} f0 (a ∷ k) f1 f2 f3 f4 f5. (f0 a → f1 a → f2 a → f3 a → f4 a → f5 a) → (f0 -.-> (f1 -.-> (f2 -.-> (f3 -.-> (f4 -.-> f5))))) a Source #