Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
References that have extra information.
Synopsis
- data DecRef = DR {}
- class HasDecRef c where
- getDecRefs :: Lens' c [DecRef]
- dRef :: (HasUID r, HasRefAddress r, HasShortName r) => r -> DecRef
- dRefInfo :: (HasUID r, HasRefAddress r, HasShortName r) => r -> RefInfo -> DecRef
Type
For holding a Reference
that is decorated with extra information (ex. page numbers, equation sources, etc.).
Instances
Class
class HasDecRef c where Source #
A class that contains a list of decorated references (DecRef
s).
getDecRefs :: Lens' c [DecRef] Source #
Provides a Lens
to the DecRef
s.
Constructors
dRef :: (HasUID r, HasRefAddress r, HasShortName r) => r -> DecRef Source #
dRefInfo :: (HasUID r, HasRefAddress r, HasShortName r) => r -> RefInfo -> DecRef Source #