|
|
|
|
|
Documentation |
|
|
|
|
|
|
Constructors | | Instances | |
|
|
|
|
|
|
|
|
|
tomy :: MetaId -> [(Bool, QName)] -> TCM ([ConstRef O], Map MetaId (Metavar (Exp O) (RefInfo O), MExp O, [MExp O], [MetaId]), [(Bool, MExp O, MExp O)], Map QName (TMode, ConstRef O)) | Source |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |