Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • C CoPaR
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 1
    • Issues 1
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 2
    • Merge requests 2
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Model experiments
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • Informatik 8Informatik 8
  • CoPaR
  • Repository
  • copar
  • src
  • MA
  • Functors
  • SomeFunctor.hs
Find file Blame History Permalink
  • Hans-Peter Deifel's avatar
    Remove unnecessary constraints from RefinementInterface · 68fc692e
    Hans-Peter Deifel authored Jul 18, 2018
    The RefinementInterface class itself doesn't require that the type is
    Functor, Foldable or Traversable. This constraint is now required at
    the use sites where it's needed.
    68fc692e