Data.Functor.Adjunction: exported symbols usage examples

Symbols

  • absurdL No usage example found for this symbol :( Collapse [-]
    adjuncted No usage example found for this symbol :( Collapse [-]
    cozipL No usage example found for this symbol :( Collapse [-]
    duplicateL No usage example found for this symbol :( Collapse [-]
    extractL No usage example found for this symbol :( Collapse [-]
    indexAdjunction No usage example found for this symbol :( Collapse [-]
    splitL No usage example found for this symbol :( Collapse [-]
    tabulateAdjunction No usage example found for this symbol :( Collapse [-]
    unabsurdL No usage example found for this symbol :( Collapse [-]
    uncozipL No usage example found for this symbol :( Collapse [-]
    unsplitL No usage example found for this symbol :( Collapse [-]
    unzipR No usage example found for this symbol :( Collapse [-]
    zapWithAdjunction No usage example found for this symbol :( Collapse [-]
    zipR No usage example found for this symbol :( Collapse [-]
    Adjunction No usage example found for this symbol :( Collapse [-]