Safe Haskell | None |
---|
Module Data.TypeLevel.Num.Aliases is re-exported because wrappers use type level numbers frequently
Documentation
Wrapping Feldspar functions
Wrap (Data a) (Data a) | Basic instances to handle |
Type a => Wrap (Vector (Data a)) (Data [a]) | |
Unit w => Wrap (BitVector w) (Data [w]) | |
Type a => Wrap (Matrix a) (Data [[a]]) | |
Wrap t u => Wrap (Data a -> t) (Data a -> u) | |
(Wrap t u, Type a, Nat s) => Wrap (Vector1 a -> t) (Data' s [a] -> u) | |
(Wrap t u, Unit w, Nat s) => Wrap (BitVector w -> t) (Data' s [w] -> u) | |
(Wrap t u, Type a, Nat row, Nat col) => Wrap (Matrix a -> t) (Data' (row, col) [[a]] -> u) |
Extended Data
to be used in wrappers
module Data.TypeLevel.Num.Aliases
data D0
Decimal digit zero
data D1
Decimal digit one
data D2
Decimal digit two
data D3
Decimal digit three
data D4
Decimal digit four
data D5
Decimal digit five
data D6
Decimal digit six
data D7
Decimal digit seven
data D8
Decimal digit eight