pi package:relational-query

Unsafely project untyped value list.
Trace projection path to get narrower Record.
Type for projection function.
Projection path from type r0 into type r1. This type also indicate key object which type is r1 for record type r0.
This module defines typed projection path objects. Contains normal interfaces.
parametalized Register monad from Pi
Trace projection path to get narrower Record. From Maybe type to Maybe type.
Trace projection path to get narrower Record. From Maybe type to Maybe type. Leaf type of projection path is Maybe.
Finalize grouping set list.
Get narrower record with flatten leaf phantom Maybe types along with projection path.
Same as groupingSets. Finalize locally built AggregatingSetList.