dovetail-core-0.1.0.0: Dovetail support for the PureScript core library set
Safe HaskellNone
LanguageHaskell2010

Dovetail.Core.Data.Function.Uncurried

Documentation

type family Fn (n :: Nat) (ctx :: *) where ... Source #

Equations

Fn 1 ctx = Value ctx -> Eval ctx (Value ctx) 
Fn n ctx = Value ctx -> Fn (n - 1) ctx 

env :: forall ctx. Env ctx Source #