module Ondim.Targets.Whiskers.Expansions where

import Ondim
import Ondim.Extra.Standard (standardMap)

defaultState :: OndimState s
defaultState :: forall s. OndimState s
defaultState =
  OndimState
    { expansions :: Namespace s
expansions = Namespace s
forall {m}. Namespace m
exps
    }
  where
    exps :: Namespace m
exps = NamespaceMap m -> Namespace m
forall m. NamespaceMap m -> Namespace m
mapToNamespace NamespaceMap m
forall s. NamespaceMap s
standardMap