Blanks.Split

Documentation

newtype BinderId

Constructors

BinderId

Fields

• unBinderId :: Int

Instances

Enum BinderId

Defined in Blanks.Split

Methods

succ :: BinderId -> BinderId

pred :: BinderId -> BinderId

toEnum :: Int -> BinderId

fromEnum :: BinderId -> Int

enumFrom :: BinderId -> [BinderId]

enumFromThen :: BinderId -> BinderId -> [BinderId]

enumFromTo :: BinderId -> BinderId -> [BinderId]

enumFromThenTo :: BinderId -> BinderId -> BinderId -> [BinderId]

Eq BinderId

Defined in Blanks.Split

Methods

(==) :: BinderId -> BinderId -> Bool

(/=) :: BinderId -> BinderId -> Bool

Num BinderId

Defined in Blanks.Split

Methods

(+) :: BinderId -> BinderId -> BinderId

(-) :: BinderId -> BinderId -> BinderId

(*) :: BinderId -> BinderId -> BinderId

negate :: BinderId -> BinderId

abs :: BinderId -> BinderId

signum :: BinderId -> BinderId

fromInteger :: Integer -> BinderId

Ord BinderId

Defined in Blanks.Split

Methods

compare :: BinderId -> BinderId -> Ordering

(<) :: BinderId -> BinderId -> Bool

(<=) :: BinderId -> BinderId -> Bool

(>) :: BinderId -> BinderId -> Bool

(>=) :: BinderId -> BinderId -> Bool

max :: BinderId -> BinderId -> BinderId

min :: BinderId -> BinderId -> BinderId

Show BinderId

Defined in Blanks.Split

Methods

showsPrec :: Int -> BinderId -> ShowS

show :: BinderId -> String

showList :: [BinderId] -> ShowS

NFData BinderId

Defined in Blanks.Split

Methods

rnf :: BinderId -> ()

data SplitFunctor f a

Constructors

SplitFunctorBase !(f a)

SplitFunctorClosure !BinderId !(Seq Int)

Instances

Functor f => Functor (SplitFunctor f)

Defined in Blanks.Split

Methods

fmap :: (a -> b) -> SplitFunctor f a -> SplitFunctor f b

(<$) :: a -> SplitFunctor f b -> SplitFunctor f a

Foldable f => Foldable (SplitFunctor f)

Defined in Blanks.Split

Methods

fold :: Monoid m => SplitFunctor f m -> m

foldMap :: Monoid m => (a -> m) -> SplitFunctor f a -> m

foldMap' :: Monoid m => (a -> m) -> SplitFunctor f a -> m

foldr :: (a -> b -> b) -> b -> SplitFunctor f a -> b

foldr' :: (a -> b -> b) -> b -> SplitFunctor f a -> b

foldl :: (b -> a -> b) -> b -> SplitFunctor f a -> b

foldl' :: (b -> a -> b) -> b -> SplitFunctor f a -> b

foldr1 :: (a -> a -> a) -> SplitFunctor f a -> a

foldl1 :: (a -> a -> a) -> SplitFunctor f a -> a

toList :: SplitFunctor f a -> [a]

null :: SplitFunctor f a -> Bool

length :: SplitFunctor f a -> Int

elem :: Eq a => a -> SplitFunctor f a -> Bool

maximum :: Ord a => SplitFunctor f a -> a

minimum :: Ord a => SplitFunctor f a -> a

sum :: Num a => SplitFunctor f a -> a

product :: Num a => SplitFunctor f a -> a

Traversable f => Traversable (SplitFunctor f)

Defined in Blanks.Split

Methods

traverse :: Applicative f0 => (a -> f0 b) -> SplitFunctor f a -> f0 (SplitFunctor f b)

sequenceA :: Applicative f0 => SplitFunctor f (f0 a) -> f0 (SplitFunctor f a)

mapM :: Monad m => (a -> m b) -> SplitFunctor f a -> m (SplitFunctor f b)

sequence :: Monad m => SplitFunctor f (m a) -> m (SplitFunctor f a)

Eq (f a) => Eq (SplitFunctor f a)

Defined in Blanks.Split

Methods

(==) :: SplitFunctor f a -> SplitFunctor f a -> Bool

(/=) :: SplitFunctor f a -> SplitFunctor f a -> Bool

Show (f a) => Show (SplitFunctor f a)

Defined in Blanks.Split

Methods

showsPrec :: Int -> SplitFunctor f a -> ShowS

show :: SplitFunctor f a -> String

showList :: [SplitFunctor f a] -> ShowS

Generic (SplitFunctor f a)

Defined in Blanks.Split

Associated Types

type Rep (SplitFunctor f a) :: Type -> Type

Methods

from :: SplitFunctor f a -> Rep (SplitFunctor f a) x

to :: Rep (SplitFunctor f a) x -> SplitFunctor f a

NFData (f a) => NFData (SplitFunctor f a)

Defined in Blanks.Split

Methods

rnf :: SplitFunctor f a -> ()

type Rep (SplitFunctor f a)

Defined in Blanks.Split

type Rep (SplitFunctor f a) = D1 ('MetaData "SplitFunctor" "Blanks.Split" "blanks-0.5.0-inplace" 'False) (C1 ('MetaCons "SplitFunctorBase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f a))) :+: C1 ('MetaCons "SplitFunctorClosure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BinderId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Seq Int))))

data SplitBinder l n f a

Constructors

SplitBinder

Fields

• splitBinderClosureArity :: !Int
• splitBinderFree :: !(Set a)
• splitBinderScope :: !(BinderScope n (LocScope l n (SplitFunctor f) a))

Instances

(Eq l, Eq n, Eq a, Eq (f (LocScope l n (SplitFunctor f) a))) => Eq (SplitBinder l n f a)

Defined in Blanks.Split

Methods

(==) :: SplitBinder l n f a -> SplitBinder l n f a -> Bool

(/=) :: SplitBinder l n f a -> SplitBinder l n f a -> Bool

(Show l, Show n, Show a, Show (f (LocScope l n (SplitFunctor f) a))) => Show (SplitBinder l n f a)

Defined in Blanks.Split

Methods

showsPrec :: Int -> SplitBinder l n f a -> ShowS

show :: SplitBinder l n f a -> String

showList :: [SplitBinder l n f a] -> ShowS

Generic (SplitBinder l n f a)

Defined in Blanks.Split

Associated Types

type Rep (SplitBinder l n f a) :: Type -> Type

Methods

from :: SplitBinder l n f a -> Rep (SplitBinder l n f a) x

to :: Rep (SplitBinder l n f a) x -> SplitBinder l n f a

(NFData l, NFData n, NFData a, NFData (f (LocScope l n (SplitFunctor f) a))) => NFData (SplitBinder l n f a)

Defined in Blanks.Split

Methods

rnf :: SplitBinder l n f a -> ()

type Rep (SplitBinder l n f a)

Defined in Blanks.Split

type Rep (SplitBinder l n f a) = D1 ('MetaData "SplitBinder" "Blanks.Split" "blanks-0.5.0-inplace" 'False) (C1 ('MetaCons "SplitBinder" 'PrefixI 'True) (S1 ('MetaSel ('Just "splitBinderClosureArity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: (S1 ('MetaSel ('Just "splitBinderFree") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set a)) :*: S1 ('MetaSel ('Just "splitBinderScope") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BinderScope n (LocScope l n (SplitFunctor f) a))))))

data SplitResult l n f a

Constructors

SplitResult

Fields

• splitResultTracked :: !(Tracked a)
• splitResultScope :: !(LocScope l n (SplitFunctor f) a)
• splitResultBinders :: !(Map BinderId (SplitBinder l n f a))

splitLocScope :: (Traversable f, Ord a) => LocScope (WithTracked a l) n f a -> SplitResult l n f a