| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
Description | ||||||||||||||||||||||
Some function-like classes, having lambda-like construction. See LambdaTy for why lambda. See Data.Pair for similar classes. | ||||||||||||||||||||||
Synopsis | ||||||||||||||||||||||
| ||||||||||||||||||||||
Make function-like things | ||||||||||||||||||||||
| ||||||||||||||||||||||
Type of lambda method. Think of src as the bound variable (or pattern) part of a lambda and snk as the expression part. They combine to form a function-typed expression. Instance template: instance (Applicative f, Lambda src snk) => Lambda (f :. src) (f :. snk) where lambda = apLambda | ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
Dissect function-like things | ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
Dual dissections | ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
Produced by Haddock version 2.3.0 |