Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family Index (el :: ke) (cont :: k) :: Maybe Nat Source #
type UnsafeIndex el cont = FromJust (Index el cont) Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
type family Index (el :: ke) (cont :: k) :: Maybe Nat Source #
type UnsafeIndex el cont = FromJust (Index el cont) Source #