Safe Haskell	Safe
Language	Haskell2010

DDF.FreeVector

Documentation

class DBI r => FreeVector r where Source #

Minimal complete definition

Methods

freeVector :: r h ((b -> d) -> FreeVector b d) Source #

Instances

FreeVector Eval Source #
Methods freeVector :: Eval h ((b -> d) -> FreeVector b d) Source # runFreeVector :: Eval h (FreeVector b d -> b -> d) Source #
FreeVector Show Source #
Methods freeVector :: Show h ((b -> d) -> FreeVector b d) Source # runFreeVector :: Show h (FreeVector b d -> b -> d) Source #
FreeVector Size Source #
Methods freeVector :: Size h ((b -> d) -> FreeVector b d) Source # runFreeVector :: Size h (FreeVector b d -> b -> d) Source #
FreeVector UInt Source #
Methods freeVector :: UInt h ((b -> d) -> FreeVector b d) Source # runFreeVector :: UInt h (FreeVector b d -> b -> d) Source #
SubL c FreeVector => FreeVector (Term c) Source #
Methods freeVector :: Term c h ((b -> d) -> FreeVector b d) Source # runFreeVector :: Term c h (FreeVector b d -> b -> d) Source #
FreeVector r => FreeVector (UnHOAS r) Source #
Methods freeVector :: UnHOAS r h ((b -> d) -> FreeVector b d) Source # runFreeVector :: UnHOAS r h (FreeVector b d -> b -> d) Source #
(Prod r, FreeVector r) => FreeVector (UnLiftEnv r) Source #
Methods freeVector :: UnLiftEnv r h ((b -> d) -> FreeVector b d) Source # runFreeVector :: UnLiftEnv r h (FreeVector b d -> b -> d) Source #
(Prod r, FreeVector r) => FreeVector (ImpW r) Source #
Methods freeVector :: ImpW r h ((b -> d) -> FreeVector b d) Source # runFreeVector :: ImpW r h (FreeVector b d -> b -> d) Source #
type SubLC c FreeVector Source #
type SubLC c FreeVector = SubL c DBI