compdata-0.8.1.1: Compositional Data Types
Data.Comp.Automata.Product
Description
type (:<) e p = IsElem (Elem e p) e p Source
pr :: forall e p. e :< p => p -> e Source