Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data ProtostarLookup (l :: Natural) (sizeT :: Natural) Source #
Instances
data ProtostarLookupParams f sizeT Source #
ProtostarLookupParams (Zp sizeT -> f) (f -> [Zp sizeT]) |
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
data ProtostarLookup (l :: Natural) (sizeT :: Natural) Source #
data ProtostarLookupParams f sizeT Source #
ProtostarLookupParams (Zp sizeT -> f) (f -> [Zp sizeT]) |