pire-0.2.5

Safe HaskellNone
LanguageHaskell2010

Samples.Map

Synopsis

Documentation

listmapsig :: Decl [Char] [Char] Source #

>>> pp listmapsig
map : [a : Type] -> [b : Type] -> (a -> b) -> List a -> List b
>>> pp $ size listmapsig
[Type_ a] -> [Type_ b] -> (S1 -> S1) -> SUnknown -> SUnknown

vecmapsig :: Decl [Char] [Char] Source #

>>> pp vecmapsig
map : [A : Type] -> [B : Type] -> [n : Nat] -> (A -> B) -> Vec A n -> Vec B n
>>> pp $ size vecmapsig
[Type_ A] -> [Type_ B] -> [Nat_ n] -> (S1 -> S1) -> n -> n
>>> pp $ adjust (size listmapsig) (size vecmapsig)
[Type_ A] -> [Type_ B] -> (S1 -> S1) -> n -> n