Index - O
onHead' | Data.Type.Product |
Only | Type.Family.List |
only | Data.Type.Product |
onMatrix | Data.Type.Vector |
onSome | Data.Type.Quantifier |
onTail | Data.Type.Vector |
onTail' | Data.Type.Product |
Option | Data.Type.Option |
option | Data.Type.Option |
outer | Type.Class.Witness |