0 | ||| This module exports "record-style" wrappers around various
 1 | ||| interfaces in this library. These may be easier to use if the
 2 | ||| categories you're constructing are particularly complex, as
 3 | ||| Idris's interface resolution can often break.
 4 | |||
 5 | ||| To convert a structure into its record-style variant, simply use
 6 | ||| the record constructor. The interace implementation will be
 7 | ||| automatically searched for, or it can be explicitly specified
 8 | ||| using the `con` argument (short for constraint). Likewise, the
 9 | ||| `(.con)` field can be used to extract the interface implementation
10 | ||| from the record.
11 | module Control.Category.Records
12 |
13 | import public Control.Category.Records.Semigroupoid as Control.Category.Records
14 | import public Control.Category.Records.Category as Control.Category.Records
15 | import public Control.Category.Records.Functor as Control.Category.Records
16 | import public Control.Category.Records.NatTrans as Control.Category.Records
17 | import public Control.Category.Records.Monad as Control.Category.Records
18 | import public Control.Category.Records.Monoidal as Control.Category.Records
19 | import public Control.Category.Records.Braided as Control.Category.Records
20 | import public Control.Category.Records.Cartesian as Control.Category.Records
21 | import public Control.Category.Records.Cocartesian as Control.Category.Records
22 | import public Control.Category.Records.Bimonoidal as Control.Category.Records
23 | import public Control.Category.Records.Closed as Control.Category.Records
24 | import public Control.Category.Records.Traced as Control.Category.Records
25 |