Home
last modified time | relevance | path

Searched defs:freshLens (Results 1 – 1 of 1) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DBase.hs752 freshLens = stFreshMetaId function
755 freshLens = stFreshMutualId function
758 freshLens = stFreshInteractionId function
761 freshLens = stFreshNameId function
767 freshLens = stFreshInt function
770 freshLens = stFreshProblemId function
782 freshLens = stFreshCheckpointId function