compdata-0.8.1.3: Compositional Data Types

Copyright(c) 2014 Patrick Bahr
LicenseBSD3
MaintainerPatrick Bahr <paba@diku.dk>
Stabilityexperimental
Portabilitynon-portable (GHC Extensions)
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Comp.Automata.Product

Description

 

Documentation

type (:<) e p = IsElem (Elem e p) e p Source

pr :: forall e p. e :< p => p -> e Source