lude

Haskell prelude alternative
git clone git://git.rr3.xyz/lude | git clone gits://git.rr3.xyz/lude
Log | Files | Refs | README | LICENSE

BaseInterop.hs (427B)

      1 module Lude.Haskell.BaseInterop (
      2     BaseInterop (..),
      3     BaseInterop1 (..),
      4 ) where
      5 
      6 import Lude.Haskell.Core
      7 import Lude.Haskell.Type
      8 
      9 --------------------------------------------------------------------------------
     10 
     11 type BaseInterop :: Endo Type
     12 newtype BaseInterop a = MkBaseInterop {unBaseInterop :: a}
     13 
     14 type BaseInterop1 :: forall {i}. Endo (i -> Type)
     15 newtype BaseInterop1 f a = MkBaseInterop1 {unBaseInterop1 :: f a}