haskell-halogen-core-0.9.0: src/Data/NT.hs
-- {-# LANGUAGE FieldSelectors #-}
module Data.NT where
-- Natural transformation
newtype m ~> n = NT {runNT :: forall a. m a -> n a}
runNT :: (m ~> n) -> m a -> n a
runNT (NT f) = f
-- {-# LANGUAGE FieldSelectors #-}
module Data.NT where
-- Natural transformation
newtype m ~> n = NT {runNT :: forall a. m a -> n a}
runNT :: (m ~> n) -> m a -> n a
runNT (NT f) = f