typelevel-1.2.3: Useful type level operations (type families and related operators).

Safe HaskellNone
LanguageHaskell2010

Type.Applicative

Documentation

type family AppBind' a b where ... Source #

Equations

AppBind' '[] b = '[] 
AppBind' (a ': as) b = a b ': AppBind' as b 

type family AppBind a b where ... Source #

Equations

AppBind a '[] = '[] 
AppBind a (b ': bs) = AppBind' a b <> AppBind a bs 

type (<*>) a b = AppBind a b infixl 4 Source #

module Type.Functor