fcf-vinyl-0.0.1.0: src/Fcf/Data/Vinyl.hs

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}

module Fcf.Data.Vinyl (rappend) where

import qualified Data.Vinyl as V
import Fcf

rappend ::
  V.Rec f as ->
  V.Rec f bs ->
  V.Rec f (Eval (as ++ bs))
rappend V.RNil ys = ys
rappend (x V.:& xs) ys = x V.:& (xs `rappend` ys)