fen-hs

module MaybeN where

import TypeLevel.Nat
import TypeLevel.Bounded

data MaybeN n a = NothingN (BoundedNat n) | JustN a

fen-hs

{-# Language RankNTypes, FlexibleInstances, MultiParamTypeClasses #-}
module Church where

import Data.Functor.Identity

import Traversable -- for fusion rules
import Unfoldable_r
import Unfoldable
import Empty
import FIFO_r

fen-hs

{-# Language 
 MultiParamTypeClasses
,FunctionalDependencies
,FlexibleContexts
,PatternSynonyms 
,ViewPatterns 
,DefaultSignatures
#-}

module Control.FIFO.FIFO where

fen-hs

{-# Language MultiParamTypeClasses , FunctionalDependencies , DefaultSignatures #-}

module Unfoldable where
import Unfoldable_r 
import State

----
-- Unfold for Stream

class Unfoldable0 f where

fen-hs

{-# Language 
 RankNTypes
,FunctionalDependencies
,FlexibleContexts
,ScopedTypeVariables 
#-}

module Traversable where

import Traversable_r