Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.SOP.Strict
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
module Data.SOP.Strict.NP
module Data.SOP.Strict.NS
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 #
Reexports
module Data.SOP.Classes