{-# LANGUAGE Safe #-}

module Yaya.Unsafe.Applied
  ( unsafeFromList,
  )
where

import "yaya" Yaya.Fold (Steppable (embed))
import "yaya" Yaya.Pattern (XNor)
import "this" Yaya.Unsafe.Fold (unsafeCata)

-- | An unsafe implementation of `GHC.Exts.fromList` for `Steppable`
--   fixed-points of `XNor`.
unsafeFromList :: (Steppable (->) t (XNor a)) => [a] -> t
unsafeFromList :: forall t a. Steppable (->) t (XNor a) => [a] -> t
unsafeFromList = Algebra (->) (XNor a) t -> [a] -> t
forall t (f :: Type -> Type) a.
(Projectable (->) t f, Functor f) =>
Algebra (->) f a -> t -> a
unsafeCata Algebra (->) (XNor a) t
forall {k} (c :: k -> k -> Type) (t :: k) (f :: k -> k).
Steppable c t f =>
Algebra c f t
embed