ermine-0.6: Ermine

Safe HaskellNone
LanguageHaskell2010

Ermine.Syntax.Class

Documentation

data Class Source

Constructors

Class [Hint] [(Hint, Scope Int Kind Void)] [Type Void Int] 

Instances

class HasClass t where Source

Minimal complete definition

class

Methods

class :: Lens' t Class Source

context :: Lens' t [Type Void Int] Source

kindArgs :: Lens' t [Hint] Source

typeArgs :: Lens' t [(Hint, Scope Int Kind Void)] Source

Instances