ermine-0.6: Ermine

Copyright(c) Edward Kmett and Dan Doel 2012-2013
LicenseBSD3
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Ermine.Syntax.Instance

Description

 

Documentation

data Instance c Source

Constructors

Instance 

Fields

_instanceContext :: [Type Void Int]
 
_instanceHead :: Head
 
_instanceBody :: Core c Id
 

Instances

Functor Instance 
Foldable Instance 
Traversable Instance 
Hashable1 Instance 
Eq c => Eq (Instance c) 
Show c => Show (Instance c) 
Generic (Instance c) 
Hashable a => Hashable (Instance a) 
HasHead (Instance a) 
HasInstance (Instance c) c 
Typeable (* -> *) Instance 
type Rep (Instance c) 

class HasInstance t c | t -> c where Source

Minimal complete definition

instance_

Methods

instance_ :: Lens' t (Instance c) Source

instanceBody :: Lens' t (Core c Id) Source

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

instanceHead :: Lens' t Head Source

Instances