Skip to content

Instantly share code, notes, and snippets.

@david-christiansen

david-christiansen/ClassNonsense.idr

Created June 17, 2015 16:25
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save david-christiansen/49687065733080426bcd to your computer and use it in GitHub Desktop.
Save david-christiansen/49687065733080426bcd to your computer and use it in GitHub Desktop.
Download ZIP
Raw
ClassNonsense.idr
module ClassNonsense
import Language.Reflection.Elab
class Foo a where
foo : a -> () -> a
class Foo a => Bar a where
constructor MkFoo
bar : a -> Int
getFoo : Bar a -> Foo a
getFoo (MkFoo x) = %runElab search
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment