Skip to content

Instantly share code, notes, and snippets.

@aamedina
Last active January 18, 2023 21:32
Show Gist options
  • Select an option

  • Save aamedina/051529c33f220874a15873bb2be15960 to your computer and use it in GitHub Desktop.

Select an option

Save aamedina/051529c33f220874a15873bb2be15960 to your computer and use it in GitHub Desktop.
isa? in datomic query
(d/q '[:find (distinct ?ident)
:in $ ?h
:where
[?e :db/ident ?ident]
[(isa? ?h ?ident :auto-vs/VehicleSensor)]]
(db) temple/*tree-of-life*)
;=>
[[#{:auto-vs/Speedometer
:auto-vs/Gearbox
:auto-vs/BrakeFluidLevelSensor
:auto-vs/FluidSensor
:auto-vs/VehicleSensor
:auto-vs/LightSensor
:auto-vs/RotationalSpeedSensor
:auto-vs/MassageSystem
:auto-vs/MAFSensor
:auto-vs/GloveBoxLight
:auto-vs/Thermometer
:auto-vs/Mirrorheater
:auto-vs/ElectronicStabilityControlSystem
:auto-vs/RunningLightSwitch
:auto-vs/CushionPositionSensor
:auto-vs/WindowPositionSensor
:auto-vs/ClutchWearIndicator
:auto-vs/CruiseControlSystem
:auto-vs/FuelTankLevelSensor
:auto-vs/GPS
:auto-vs/HoodLatch
:auto-vs/RightIndicatorSwitch
:auto-vs/ManifoldAirPressureSensor
:auto-vs/HazardLightSwitch
:auto-vs/BatterySensor
:auto-vs/DriveSystem
:auto-vs/DimmingSystem
:auto-vs/AntilockBrakingSystem
:auto-vs/ChildLock
:auto-vs/TrunkLock
:auto-vs/MassAirFlowSensor
:auto-vs/BrakePadWearSensor
:auto-vs/TrunkLight
:auto-vs/OilThermometer
:auto-vs/FuelPressureSensor
:auto-vs/HighBeamLightSwitch
:auto-vs/ParkingLightSwitch
:auto-vs/WasherFuildLevelSensor
:auto-vs/MultimediaSystem
:auto-vs/TireTemperatureSensor
:auto-vs/Intake-AirTemperatureSensor
:auto-vs/Defroster
:auto-vs/PowerMeter
:auto-vs/CoolantTemperatureSensor
:auto-vs/SeatHeater
:auto-vs/PassengerLight
:auto-vs/Timer
:auto-vs/BrakeLightSwitch
:auto-vs/Accelerometer
:auto-vs/OilPressureSensor
:auto-vs/Barometer
:auto-vs/LumbarPressureSensor
:auto-vs/LowBeamLightSwitch
:auto-vs/AirConditioningSystem
:auto-vs/DoorContactSensor
:auto-vs/Odometer
:auto-vs/CrankshaftPositionSensor
:auto-vs/RecirculationSystem
:auto-vs/TrunkLatch
:auto-vs/FanSensor
:auto-vs/MirrorPanSensor
:auto-vs/CatalystTemperatureSensor
:auto-vs/OccupantClassificationSystem
:auto-vs/LeftIndicatorSwitch
:auto-vs/TractionControlSystem
:auto-vs/EVAPSystem
:auto-vs/HeadRestraintSensor
:auto-vs/EGRSystemMonitor
:auto-vs/AirbagSystem
:auto-vs/BeltSensor
:auto-vs/DiagnosticSystem
:auto-vs/HornSystem
:auto-vs/FrontFogLightSwitch
:auto-vs/PedalPositionSensor
:auto-vs/MirrorTiltSensor
:auto-vs/SeatPositionSensor
:auto-vs/WiperSwitch
:auto-vs/LumbarPositionSensor
:auto-vs/CoolantThermometer
:auto-vs/SteeringWheelPositionSensor
:auto-vs/BatteryMonitor
:auto-vs/ParkingBrakeSensor
:auto-vs/DomeLight
:auto-vs/FuelRailPressureSensor
:auto-vs/WindshieldHeaterSwitch
:auto-vs/LaneDepartureDetectionSensor
:auto-vs/Bank2
:auto-vs/VoltageSensor
:auto-vs/Gyroscope
:auto-vs/ThrottlePositionSensor
:auto-vs/TirePressureMonitoringSystem
:auto-vs/RainSensor
:auto-vs/TorqueMeter
:auto-vs/BackupLightSwitch
:auto-vs/SteeringWheelAngleSensor
:auto-vs/RearFogLightSwitch
:auto-vs/DoorLock
:auto-vs/ObstacleDetectionSensor
:auto-vs/FlowSensor
:auto-vs/SunroofPositionSensor}]]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment