Home
last modified time | relevance | path

Searched refs:EmptyPrimitive (Results 1 – 6 of 6) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Concrete/Definitions/
H A DErrors.hs72 | EmptyPrimitive Range -- ^ Empty @primitive@ block. constructor
133 EmptyPrimitive{} -> EmptyPrimitive_
173 EmptyPrimitive{} -> False
239 getRange (EmptyPrimitive r) = r
333 pretty (EmptyPrimitive _) = fsep $ pwords "Empty primitive block."
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Serialise/Instances/
H A DErrors.hs183 EmptyPrimitive a -> icodeN 22 EmptyPrimitive a
217 [22,a] -> valuN EmptyPrimitive a
/dports/cad/py-ezdxf/ezdxf-0.16.3/src/ezdxf/
H A Ddisassemble.py92 class EmptyPrimitive(Primitive): class
479 cls = _PRIMITIVE_CLASSES.get(entity.dxftype(), EmptyPrimitive)
/dports/databases/sfcgal/SFCGAL-815d5097f684dbc48b22041bf2047beab36df0a1/src/algorithm/
H A Dunion.cpp37 struct EmptyPrimitive {}; struct
304 EmptyPrimitive > {
311 EmptyPrimitive >( p ) {} in ObservablePrimitive()
329 Handle(): _p( new ObservablePrimitive*( new ObservablePrimitive( EmptyPrimitive() ) ) ) { in Handle()
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/
H A DGenerate.hs481 EmptyPrimitive{} -> deadcodeHighlighting w
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Concrete/
H A DDefinitions.hs457 Primitive r [] -> justWarning $ EmptyPrimitive r