Home
last modified time | relevance | path

Searched refs:IsNotLock (Results 1 – 3 of 3) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Concrete/
H A DAttribute.hs100 [ map (, IsNotLock) [ "notlock" ] -- default, shouldn't be used much
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Serialise/Instances/
H A DCommon.hs574 icod_ IsNotLock = return 0
577 value 0 = return IsNotLock
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/
H A DCommon.hs1266 data Lock = IsNotLock constructor
1272 defaultLock = IsNotLock
1275 rnf IsNotLock = ()