Blanks.Class

Documentation

class BlankAbstract (m :: * -> *) where

Minimal complete definition

blankFree, blankAbstract, blankUnAbstract, blankInstantiate, blankApply

Methods

blankFree :: a -> BlankCodomain m (m a)

"free name"

blankAbstract :: Eq a => BlankInfo m -> Seq a -> m a -> BlankCodomain m (m a)

"abstract info names body"

blankAbstract1 :: Eq a => BlankInfo m -> a -> m a -> BlankCodomain m (m a)

blankAbstract for a single argument

blankUnAbstract :: Seq a -> m a -> m a

"unAbstract names body"

blankUnAbstract1 :: a -> m a -> m a

blankInstantiate :: Seq (BlankCodomain m (m a)) -> m a -> m a

"instantiate args body"

blankInstantiate1 :: BlankCodomain m (m a) -> m a -> m a

blankInstantiate for a single argument

blankApply :: Seq (BlankCodomain m (m a)) -> m a -> Either SubError (m a)

"apply args abstraction"

blankApply1 :: BlankCodomain m (m a) -> m a -> Either SubError (m a)

blankApply for a single argument

Instances

Functor f => BlankAbstract (PureScope n f)

Defined in Blanks.PureScope

Methods

blankFree :: a -> BlankCodomain (PureScope n f) (PureScope n f a)

blankAbstract :: Eq a => BlankInfo (PureScope n f) -> Seq a -> PureScope n f a -> BlankCodomain (PureScope n f) (PureScope n f a)

blankAbstract1 :: Eq a => BlankInfo (PureScope n f) -> a -> PureScope n f a -> BlankCodomain (PureScope n f) (PureScope n f a)

blankUnAbstract :: Seq a -> PureScope n f a -> PureScope n f a

blankUnAbstract1 :: a -> PureScope n f a -> PureScope n f a

blankInstantiate :: Seq (BlankCodomain (PureScope n f) (PureScope n f a)) -> PureScope n f a -> PureScope n f a

blankInstantiate1 :: BlankCodomain (PureScope n f) (PureScope n f a) -> PureScope n f a -> PureScope n f a

blankApply :: Seq (BlankCodomain (PureScope n f) (PureScope n f a)) -> PureScope n f a -> Either SubError (PureScope n f a)

blankApply1 :: BlankCodomain (PureScope n f) (PureScope n f a) -> PureScope n f a -> Either SubError (PureScope n f a)

(RightAdjunctionApplicative t, Functor f) => BlankAbstract (ScopeT t n f)

Defined in Blanks.ScopeT

Methods

blankFree :: a -> BlankCodomain (ScopeT t n f) (ScopeT t n f a)

blankAbstract :: Eq a => BlankInfo (ScopeT t n f) -> Seq a -> ScopeT t n f a -> BlankCodomain (ScopeT t n f) (ScopeT t n f a)

blankAbstract1 :: Eq a => BlankInfo (ScopeT t n f) -> a -> ScopeT t n f a -> BlankCodomain (ScopeT t n f) (ScopeT t n f a)

blankUnAbstract :: Seq a -> ScopeT t n f a -> ScopeT t n f a

blankUnAbstract1 :: a -> ScopeT t n f a -> ScopeT t n f a

blankInstantiate :: Seq (BlankCodomain (ScopeT t n f) (ScopeT t n f a)) -> ScopeT t n f a -> ScopeT t n f a

blankInstantiate1 :: BlankCodomain (ScopeT t n f) (ScopeT t n f a) -> ScopeT t n f a -> ScopeT t n f a

blankApply :: Seq (BlankCodomain (ScopeT t n f) (ScopeT t n f a)) -> ScopeT t n f a -> Either SubError (ScopeT t n f a)

blankApply1 :: BlankCodomain (ScopeT t n f) (ScopeT t n f a) -> ScopeT t n f a -> Either SubError (ScopeT t n f a)

Functor f => BlankAbstract (LocScope l n f)

Defined in Blanks.LocScope

Methods

blankFree :: a -> BlankCodomain (LocScope l n f) (LocScope l n f a)

blankAbstract :: Eq a => BlankInfo (LocScope l n f) -> Seq a -> LocScope l n f a -> BlankCodomain (LocScope l n f) (LocScope l n f a)

blankAbstract1 :: Eq a => BlankInfo (LocScope l n f) -> a -> LocScope l n f a -> BlankCodomain (LocScope l n f) (LocScope l n f a)

blankUnAbstract :: Seq a -> LocScope l n f a -> LocScope l n f a

blankUnAbstract1 :: a -> LocScope l n f a -> LocScope l n f a

blankInstantiate :: Seq (BlankCodomain (LocScope l n f) (LocScope l n f a)) -> LocScope l n f a -> LocScope l n f a

blankInstantiate1 :: BlankCodomain (LocScope l n f) (LocScope l n f a) -> LocScope l n f a -> LocScope l n f a

blankApply :: Seq (BlankCodomain (LocScope l n f) (LocScope l n f a)) -> LocScope l n f a -> Either SubError (LocScope l n f a)

blankApply1 :: BlankCodomain (LocScope l n f) (LocScope l n f a) -> LocScope l n f a -> Either SubError (LocScope l n f a)

type family BlankCodomain (m :: * -> *) :: * -> *

Instances

type BlankCodomain (PureScope n f)

Defined in Blanks.PureScope

type BlankCodomain (PureScope n f) = Identity

type BlankCodomain (ScopeT t n f)

Defined in Blanks.ScopeT

type BlankCodomain (ScopeT t n f) = RightAdjunct t

type BlankCodomain (LocScope l n f)

Defined in Blanks.LocScope

type BlankCodomain (LocScope l n f) = Colocated l

class BlankEmbed (m :: * -> *) where

Methods

blankEmbed :: BlankFunctor m (m a) -> BlankCodomain m (m a)

"embed functor"

Instances

Functor f => BlankEmbed (PureScope n f)

Defined in Blanks.PureScope

Methods

blankEmbed :: BlankFunctor (PureScope n f) (PureScope n f a) -> BlankCodomain (PureScope n f) (PureScope n f a)

RightAdjunction t => BlankEmbed (ScopeT t n f)

Defined in Blanks.ScopeT

Methods

blankEmbed :: BlankFunctor (ScopeT t n f) (ScopeT t n f a) -> BlankCodomain (ScopeT t n f) (ScopeT t n f a)

Functor f => BlankEmbed (LocScope l n f)

Defined in Blanks.LocScope

Methods

blankEmbed :: BlankFunctor (LocScope l n f) (LocScope l n f a) -> BlankCodomain (LocScope l n f) (LocScope l n f a)

type family BlankFunctor (m :: * -> *) :: * -> *

Instances

type BlankFunctor (PureScope n f)

Defined in Blanks.PureScope

type BlankFunctor (PureScope n f) = f

type BlankFunctor (ScopeT t n f)

Defined in Blanks.ScopeT

type BlankFunctor (ScopeT t n f) = f

type BlankFunctor (LocScope l n f)

Defined in Blanks.LocScope

type BlankFunctor (LocScope l n f) = f

type family BlankInfo (m :: * -> *) :: *

Instances

type BlankInfo (PureScope n f)

Defined in Blanks.PureScope

type BlankInfo (PureScope n f) = n

type BlankInfo (ScopeT t n f)

Defined in Blanks.ScopeT

type BlankInfo (ScopeT t n f) = n

type BlankInfo (LocScope l n f)

Defined in Blanks.LocScope

type BlankInfo (LocScope l n f) = n