blob: f010c58e7a848bc5315654cd9c746862b77e3673 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
{-# LANGUAGE Arrows #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RebindableSyntax #-}
{-# LANGUAGE ScopedTypeVariables #-}
module RepPolyArrowCmd where
import Data.Kind
import GHC.Exts
import Prelude ( undefined )
first :: forall r (a :: TYPE r) (b :: TYPE r). a -> b
first = undefined
(>>>) :: forall r (a :: TYPE r) (b :: TYPE r) (c :: TYPE r). a -> b -> c
(>>>) = undefined
arr :: forall r (a :: TYPE r) (b :: TYPE r). (a -> b) -> (a -> b)
arr = undefined
returnA :: forall r (a :: TYPE r). a -> a
returnA = undefined
foo :: forall r (a :: TYPE r). a -> a
foo = proc x -> returnA -< x
|