hypertypes-0.2.2: Typed ASTs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hyper.Combinator.Func

Documentation

newtype HFunc (i :: HyperType) o h Source #

Constructors

HFunc (i h -> o h) 

_HFunc :: Iso (HFunc i0 o0 # h0) (HFunc i1 o1 # h1) ((i0 # h0) -> o0 # h0) ((i1 # h1) -> o1 # h1) Source #