Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
getImplicit3 :: ObjectContext -> SymbolicObj3 -> Obj3 Source #
getImplicit2 :: ObjectContext -> SymbolicObj2 -> Obj2 Source #
getBox3 :: SymbolicObj3 -> Box3 Source #
getBox2 :: SymbolicObj2 -> Box2 Source #