Safe Haskell	Safe-Inferred
Language	Haskell2010

UVMHS.Lib.Sep

Documentation

data Sep i a Source #

Constructors

SepE a
SepN a i (𝐼C (a ∧ i)) a

Instances details

ToIter a (Sep a a) Source #
Instance details Defined in UVMHS.Lib.Sep Methods iter :: Sep a a -> 𝐼 a Source #
Functor (Sep i) Source #
Instance details Defined in UVMHS.Lib.Sep Methods map :: (a -> b) -> Sep i a -> Sep i b Source #
CSized (Sep i a) Source #
Instance details Defined in UVMHS.Lib.Sep Methods csize :: Sep i a -> ℕ64 Source #
Append a => Append (Sep i a) Source #
Instance details Defined in UVMHS.Lib.Sep Methods (⧺) :: Sep i a -> Sep i a -> Sep i a Source #
Monoid a => Monoid (Sep i a) Source #
Instance details Defined in UVMHS.Lib.Sep
Null a => Null (Sep i a) Source #
Instance details Defined in UVMHS.Lib.Sep Methods null :: Sep i a Source #

sepI :: Null a => i -> Sep i a Source #

mapSep :: (i -> j) -> (a -> b) -> Sep i a -> Sep j b Source #

mapSepI :: (i -> j) -> Sep i a -> Sep j a Source #