ermine-0.6: Ermine

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

Ermine.Syntax.Id

Description

 

Documentation

data Id Source

Constructors

GlobalId !Global 
InstanceId !Head 

Instances

Eq Id 
Data Id 
Ord Id 
Read Id 
Show Id 
Generic Id 
Binary Id 
Hashable Id 
Serialize Id 
Serial Id 
AsGlobal Id 
AsId Id 
Typeable * Id 
type Rep Id 

class AsGlobal t => AsId t where Source

Minimal complete definition

Nothing

Methods

_Id :: Prism' t Id Source

_InstanceId :: Prism' t Head Source

Instances

AsId Id 
AsId HardCore 
AsId (Core t a) 
(~) (* -> *) f (Core t) => AsId (Scope b f a)