-- $Header: c:/Source/Haskell/Wrapper/Data/Flex/Test/RCS/Wrap.hs,v 1.5 2011/03/05 01:29:46 dosuser Exp dosuser $
module Data.Flex.Test.Wrap where

import Data.Flex.Wrap
import Data.Flex.WrapT

import Data.Type.TList

data X = X

t8 :: FW TNil ()
t8 = fWrap TNil ()
t9 :: FW (X :*: TNil) ()
t9 = fWrap X ()
t10 :: FW (X :*: TNil) ()
t10 = fWrap (X :*: TNil) ()

t11 :: FW TNil ()
t11 = fWrap TNil t8
t12 :: FW (X :*: TNil) ()
t12 = fWrap TNil t9
t13 :: FW (X :*: TNil) ()
t13 = fWrap X t8
t14 :: FW (X :*: TNil) ()
t14 = fWrap (X :*: TNil) t8

t15 :: FWT TNil Maybe ()
t15 = fWrapT TNil $ Just ()
t16 :: FWT (X :*: TNil) Maybe ()
t16 = fWrapT X $ Just ()
t17 :: FWT (X :*: TNil) Maybe ()
t17 = fWrapT (X :*: TNil) $ Just ()

t18 :: FWT TNil Maybe ()
t18 = fWrapT TNil t15
t19 :: FWT (X :*: TNil) Maybe ()
t19 = fWrapT TNil t16
t20 :: FWT (X :*: TNil) Maybe ()
t20 = fWrapT X t15
t21 :: FWT (X :*: TNil) Maybe ()
t21 = fWrapT (X :*: TNil) t15

-- vim: expandtab:tabstop=4:shiftwidth=4